Safe Haskell	None
Language	Haskell98

Test.Target.Targetable.Function

Contents

Orphan instances

(Targetable a, Targetable b, Targetable c, Targetable d, (~) * d (Res (a -> b -> c -> d))) => Targetable (a -> b -> c -> d) Source #
Methods query :: Proxy * (a -> b -> c -> d) -> Depth -> Symbol -> SpecType -> Target Symbol Source # decode :: Symbol -> SpecType -> Target (a -> b -> c -> d) Source # check :: (a -> b -> c -> d) -> SpecType -> Target (Bool, Expr) Source # toExpr :: (a -> b -> c -> d) -> Expr Source # getType :: Proxy * (a -> b -> c -> d) -> Sort Source #
(Targetable a, Targetable b, Targetable c, (~) * c (Res (a -> b -> c))) => Targetable (a -> b -> c) Source #
Methods query :: Proxy * (a -> b -> c) -> Depth -> Symbol -> SpecType -> Target Symbol Source # decode :: Symbol -> SpecType -> Target (a -> b -> c) Source # check :: (a -> b -> c) -> SpecType -> Target (Bool, Expr) Source # toExpr :: (a -> b -> c) -> Expr Source # getType :: Proxy * (a -> b -> c) -> Sort Source #
(Targetable a, Targetable b, (~) * b (Res (a -> b))) => Targetable (a -> b) Source #
Methods query :: Proxy * (a -> b) -> Depth -> Symbol -> SpecType -> Target Symbol Source # decode :: Symbol -> SpecType -> Target (a -> b) Source # check :: (a -> b) -> SpecType -> Target (Bool, Expr) Source # toExpr :: (a -> b) -> Expr Source # getType :: Proxy * (a -> b) -> Sort Source #