on master help sign in
Export Field and Necessity
2a89918Ollie Charles
src/Rel8.hs+3−1
@@ -39,7 +39,7 @@ module Rel8
39
39
40 -- * Tables and higher-kinded tables
40 -- * Tables and higher-kinded tables
41 , Rel8able
41 , Rel8able
42− , Column
42+ , Column, Field, Necessity( Required, Optional )
43 , Default, Label
43 , Default, Label
44 , HMaybe
44 , HMaybe
45 , HList
45 , HList
@@ -322,6 +322,8 @@ import Rel8.Type.Semigroup
322import Rel8.Type.String
322import Rel8.Type.String
323import Rel8.Type.Sum
323import Rel8.Type.Sum
324import Rel8.Expr.Opaleye (unsafeCastExpr)
324import Rel8.Expr.Opaleye (unsafeCastExpr)
325+import Rel8.Kind.Necessity
326+import Rel8.Schema.Field (Field)
325
327
326
328
327-- $setup
329-- $setup