git.iko.soy/rel8
on fadfc3e help sign in
rel8/src/Rel8/Statement/Returning.hs
24 lines 544 B history raw
1{-# language GADTs #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Statement.Returning
5 ( Returning(..)
6 )
7where
9-- base
10import Data.Int ( Int64 )
11import Data.Kind ( Type )
12import Prelude ()
14-- rel8
15import Rel8.Table.Recontextualize ( Selects )
16import Rel8.Table.Serialize ( Serializable )
19type Returning :: Type -> Type -> Type
20data Returning names a where
21 NumberOfRowsAffected :: Returning names Int64
22 Projection :: (Selects names exprs, Serializable projection a)
23 => (exprs -> projection)
24 -> Returning names [a]