Expose unsafeUnnullify and unsafeUnnullifyTable

changelog.d/20240918_124205_shane.obrien.md

@@ -0,0 +1,3 @@
+### Added
+
+- Expose `unsafeUnnullify` and `unsafeUnnullifyTable` from `Rel8`.

src/Rel8.hs

@@ -129,6 +129,7 @@ module Rel8
   , catNullTable
   , nameNullTable
   , toNullTable, toMaybeTable
+  , unsafeUnnullifyTable
 
     -- ** Algebraic data types / sum types
     -- $adts
@@ -184,6 +185,7 @@ module Rel8
   , liftOpNull
   , catNull
   , coalesce
+  , unsafeUnnullify
 
     -- ** Boolean operations
   , DBEq

src/Rel8/Expr/Null.hs

@@ -35,6 +35,10 @@ nullify :: NotNull a => Expr a -> Expr (Maybe a)
 nullify (Expr a) = Expr a
 
 
+-- | Assume that a nullable column's value is non-null. If the column is
+-- actually @null@, this will lead to runtime errors when you try to decode
+-- the value into Haskell, so you should prefer to use 'Rel8.nullable'
+-- unless you know what you're doing.
 unsafeUnnullify :: Expr (Maybe a) -> Expr a
 unsafeUnnullify (Expr a) = Expr a
 

src/Rel8/Table/Null.hs

@@ -126,6 +126,7 @@ nullifyTable :: a -> NullTable Expr a
 nullifyTable = NullTable . pure
 
 
+-- | Assume that a 'NullTable' is non-null. Like 'Rel8.unsafeUnnullify'.
 unsafeUnnullifyTable :: NullTable Expr a -> a
 unsafeUnnullifyTable (NullTable a) = extract a