src/Rel8/Column.hs · rel8

on da76712 help sign in

rel8/src/Rel8/Column.hs

31 lines 764 B history raw

1{-# language DataKinds #-}

2{-# language StandaloneKindSignatures #-}

3{-# language TypeFamilies #-}

5module Rel8.Column

6 ( Column

7 , TColumn

8 )

9where

11-- base

12import Data.Kind ( Type )

13import Prelude ()

15-- rel8

16import Rel8.FCF ( Eval, Exp )

17import qualified Rel8.Schema.Kind as K

18import Rel8.Schema.Result ( Result )

21-- | This type family is used to specify columns in 'Rel8able's. In @Column f

22-- a@, @f@ is the context of the column (which should be left polymorphic in

23-- 'Rel8able' definitions), and @a@ is the type of the column.

24type Column :: K.Context -> Type -> Type

25type family Column context a where

26 Column Result a = a

27 Column context a = context a

30data TColumn :: K.Context -> Type -> Exp Type

31type instance Eval (TColumn f a) = Column f a