src/Rel8/Table/Undefined.hs · rel8

on da76712 help sign in

rel8/src/Rel8/Table/Undefined.hs

26 lines 683 B history raw

1{-# language FlexibleContexts #-}

2{-# language NamedFieldPuns #-}

3{-# language TypeFamilies #-}

5module Rel8.Table.Undefined

6 ( undefined

7 )

8where

10-- base

11import Prelude hiding ( undefined )

13-- rel8

14import Rel8.Expr ( Expr )

15import Rel8.Expr.Null ( snull, unsafeUnnullify )

16import Rel8.Schema.HTable ( htabulate, hfield, hspecs )

17import Rel8.Schema.Null ( Nullity( Null, NotNull ) )

18import Rel8.Schema.Spec ( Spec(..) )

19import Rel8.Table ( Table, fromColumns )

22undefined :: Table Expr a => a

23undefined = fromColumns $ htabulate $ \field -> case hfield hspecs field of

24 Spec {nullity, info} -> case nullity of

25 Null -> snull info

26 NotNull -> unsafeUnnullify (snull info)