on master help sign in
Export Field and Necessity
commit2a89918f17f3fad0de0be0bf31b8272104260930 authorOllie Charles <ollie@ocharles.org.uk> dateThu 1 Apr 2021, 10:27 (6 years ago) parentca7aaef
1 file changed+3−1
src/Rel8.hs+3−1
src/Rel8.hs+3−1
@@ -39,7 +39,7 @@ module Rel8
3939
4040 -- * Tables and higher-kinded tables
4141 , Rel8able
42− , Column
42+ , Column, Field, Necessity( Required, Optional )
4343 , Default, Label
4444 , HMaybe
4545 , HList
@@ -322,6 +322,8 @@ import Rel8.Type.Semigroup
322322import Rel8.Type.String
323323import Rel8.Type.Sum
324324import Rel8.Expr.Opaleye (unsafeCastExpr)
325+import Rel8.Kind.Necessity
326+import Rel8.Schema.Field (Field)
325327
326328
327329-- $setup