liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

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 #