Documentation

type TI = PriorSubsts Maybe Source #

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

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

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