Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Column.Null

Synopsis

type family HNull (context :: Context) = (maybe :: Type -> Type) | maybe -> context where ...

Documentation

type family HNull (context :: Context) = (maybe :: Type -> Type) | maybe -> context where ... Source #

Nest a Null value within a Rel8able. HNull f a will produce a NullTable a in the Expr context, and a Maybe a in the Result context.

Equations

HNull Result = Maybe
HNull context = NullTable context