@@ -86,6 +86,7 @@ manipDefinition
8686 -> Definition schemas schemas
8787manipDefinition = UnsafeDefinition . (<> ";") . renderSQL
8888
89+-- | Like @PGTyped@ but also accounts for nullity.
8990class PGNullityTyped schemas (nullty :: NullityType) where
9091 pgNullityType :: ColumnTypeExpression schemas ('NoDef :=> nullty)
9192
@@ -95,6 +96,9 @@ instance PGTyped schemas ('Null ty) => PGNullityTyped schemas ('Null ty) where
9596instance PGTyped schemas ('NotNull ty) => PGNullityTyped schemas ('NotNull ty) where
9697 pgNullityType = notNullable (pgtype @_ @('NotNull ty))
9798
99+-- | Allow you to specify pg column types in relation to haskell types.
100+-- | >>> hask @(Maybe String) ~ nullable text
101+-- | >>> hask @String ~ notNullable text
98102hask
99103 :: forall h schemas. PGNullityTyped schemas (NullPG h)
100104 => ColumnTypeExpression schemas ('NoDef :=> NullPG h)