rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Schema.HTable.MapTable

Documentation

newtype HMapTable (f :: Type -> Exp Type) (t :: HTable) (context :: Context) Source #

Constructors

HMapTable 

Fields

Instances

Instances details
(HTable t, MapSpec f) => HTable (HMapTable f t) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.MapTable

Associated Types

type HField (HMapTable f t) 
Instance details

Defined in Rel8.Internal.Schema.HTable.MapTable

type HField (HMapTable f t) = HMapTableField f t

Methods

hfield :: HMapTable f t context -> HField (HMapTable f t) a -> context a Source #

htabulate :: (forall a. HField (HMapTable f t) a -> context a) -> HMapTable f t context Source #

htraverse :: Apply m => (forall a. f0 a -> m (g a)) -> HMapTable f t f0 -> m (HMapTable f t g) Source #

hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HMapTable f t) c => HMapTable f t (Dict c) Source #

hspecs :: HMapTable f t Spec Source #

type HField (HMapTable f t) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.MapTable

type HField (HMapTable f t) = HMapTableField f t
type HConstrainTable (HMapTable f t) c Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.MapTable

type HConstrainTable (HMapTable f t) c

class MapSpec (f :: Type -> Exp Type) where Source #

Methods

mapInfo :: Spec x -> Spec (Eval (f x)) Source #

Instances

Instances details
MapSpec Nullify Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

Methods

mapInfo :: Spec x -> Spec (Eval (Nullify x)) Source #

newtype Precompose (f :: Type -> Exp Type) (g :: Context) x Source #

Constructors

Precompose 

Fields

data HMapTableField (f :: Type -> Exp Type) (t :: HTable) x where Source #

Constructors

HMapTableField :: forall (t :: HTable) a (f :: Type -> Exp Type). HField t a -> HMapTableField f t (Eval (f a)) 

hproject :: forall t t' (f :: Type -> Exp Type) (context :: Context). (forall (ctx :: Context). t ctx -> t' ctx) -> HMapTable f t context -> HMapTable f t' context Source #