MagicHaskeller.TICE
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 #