Type.Eval

data TypeExpr :: Type

data TEProxy (expr :: TypeExpr)

Constructors

• TEProxy

proxyEval :: forall ty expr. Eval expr ty => TEProxy expr -> Proxy ty

class Eval (expr :: TypeExpr) (result :: Type) | expr -> result

Instances

• (Fail (Above (Beside (Text "Error evaluating `") (Beside (Text name) (Text "`:"))) (Beside (Text " ") exc))) => Eval (Throw name exc) a
• Eval (Lift a) a
• Eval (Lift1 f a) (f a)
• Eval (Lift2 f a b) (f a b)

class EvalTypeError (name :: Symbol) (ctx :: Symbol) (expected :: Symbol) (ty :: Type) 

Instances

• (Fail (Above (Beside (Text "Error evaluating `") (Beside (Text name) (Text "`"))) (Above (Beside (Text " in ") (Beside (Text ctx) (Text ":"))) (Above (Text "") (Above (Beside (Text " Expected `") (Beside (Text expected) (Text "`"))) (Beside (Text " but got `") (Beside (Quote ty) (Text "`")))))))) => EvalTypeError name ctx expected ty

Operator alias for Prim.TypeError.Beside (right-associative / precedence 2)

Operator alias for Prim.TypeError.Above (right-associative / precedence 1)

data Throw :: Symbol -> Doc -> TypeExpr

Instances

• (Fail (Above (Beside (Text "Error evaluating `") (Beside (Text name) (Text "`:"))) (Beside (Text " ") exc))) => Eval (Throw name exc) a

data Lift :: Type -> TypeExpr

Instances

• Eval (Lift a) a

data Lift1 :: (Type -> Type) -> Type -> TypeExpr

Instances

• Eval (Lift1 f a) (f a)

data Lift2 :: (Type -> Type -> Type) -> Type -> Type -> TypeExpr

Instances

• Eval (Lift2 f a b) (f a b)