Documentation

listOf :: Sql DBType a => [Expr a] -> Expr [a] Source #

nonEmptyOf :: Sql DBType a => NonEmpty (Expr a) -> Expr (NonEmpty a) Source #

slistOf :: TypeInformation (Unnullify a) -> [Expr a] -> Expr [a] Source #

snonEmptyOf :: TypeInformation (Unnullify a) -> NonEmpty (Expr a) -> Expr (NonEmpty a) Source #

sappend :: Expr [a] -> Expr [a] -> Expr [a] Source #

sappend1 :: Expr (NonEmpty a) -> Expr (NonEmpty a) -> Expr (NonEmpty a) Source #

sempty :: TypeInformation (Unnullify a) -> Expr [a] Source #