ghc-justdoit-0.1.0.1: A magic typeclass that just does it
Safe HaskellNone
LanguageHaskell2010

GHC.LJT

Description

An implementation of LJT proof search directly on Core terms.

Documentation

(==>) :: [Id] -> Type -> [CoreExpr] Source #

lamA :: Applicative f => Type -> (Id -> f CoreExpr) -> f CoreExpr Source #

letsA :: Applicative f => [CoreExpr] -> ([Id] -> f CoreExpr) -> f CoreExpr Source #

funLeft :: (Type -> Maybe a) -> Type -> Maybe (a, Type) Source #

anyA :: (Type -> Maybe a) -> [Id] -> Maybe ((Id, a), [Id]) Source #