MagicHaskeller-0.9.7.1: Automatic inductive functional programmer by systematic search
Safe HaskellNone
LanguageHaskell2010

MagicHaskeller.TICE

Documentation

type TI = PriorSubsts Maybe Source #

ceToDynamic :: TyConLib -> VarLib -> CoreExpr -> Dynamic Source #

tiCE :: (Functor m, MonadPlus m) => TyConLib -> VarLib -> CoreExpr -> m Type Source #

tiEx :: forall a (m :: Type -> Type) p. (IArray a Dynamic, MonadPlus m) => p -> a Var Dynamic -> CoreExpr -> PriorSubsts m Type Source #