Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Kind.Context

Documentation

class Reifiable (context :: Context) where Source #

Methods

Instances details

Reifiable Expr Source #
Instance details Defined in Rel8.Internal.Kind.Context Methods contextSing :: SContext Expr Source #
Reifiable Name Source #
Instance details Defined in Rel8.Internal.Kind.Context Methods contextSing :: SContext Name Source #
Reifiable Result Source #
Instance details Defined in Rel8.Internal.Kind.Context Methods contextSing :: SContext Result Source #
Reifiable (Field table) Source #
Instance details Defined in Rel8.Internal.Kind.Context Methods contextSing :: SContext (Field table) Source #

data SContext (context :: Context) where Source #

Constructors

SExpr :: SContext Expr
SField :: forall table. SContext (Field table)
SName :: SContext Name
SResult :: SContext Identity