Test.Target.Targetable.Function

Orphan instances

(Targetable a, Targetable b, Targetable c, Targetable d, (~) * d (Res (a -> b -> c -> d))) => Targetable (a -> b -> c -> d)

Methods

query :: Proxy * (a -> b -> c -> d) -> Depth -> Symbol -> SpecType -> Target Symbol

decode :: Symbol -> SpecType -> Target (a -> b -> c -> d)

check :: (a -> b -> c -> d) -> SpecType -> Target (Bool, Expr)

toExpr :: (a -> b -> c -> d) -> Expr

getType :: Proxy * (a -> b -> c -> d) -> Sort

(Targetable a, Targetable b, Targetable c, (~) * c (Res (a -> b -> c))) => Targetable (a -> b -> c)

Methods

query :: Proxy * (a -> b -> c) -> Depth -> Symbol -> SpecType -> Target Symbol

decode :: Symbol -> SpecType -> Target (a -> b -> c)

check :: (a -> b -> c) -> SpecType -> Target (Bool, Expr)

toExpr :: (a -> b -> c) -> Expr

getType :: Proxy * (a -> b -> c) -> Sort

(Targetable a, Targetable b, (~) * b (Res (a -> b))) => Targetable (a -> b)

Methods

query :: Proxy * (a -> b) -> Depth -> Symbol -> SpecType -> Target Symbol

decode :: Symbol -> SpecType -> Target (a -> b)

check :: (a -> b) -> SpecType -> Target (Bool, Expr)

toExpr :: (a -> b) -> Expr

getType :: Proxy * (a -> b) -> Sort