Language.Hakaru.Syntax.AST.Transforms

Documentation

optimizations :: ABT Term abt => abt '[] a -> abt '[] a

underLam :: (ABT Term abt, Monad m) => (abt '[] b -> m (abt '[] b)) -> abt '[] (a :-> b) -> m (abt '[] (a :-> b))

underLam' :: forall abt m a b b'. (ABT Term abt, MonadFix m) => (abt '[] b -> m (abt '[] b')) -> abt '[] (a :-> b) -> m (abt '[] (a :-> b'))

underLam'p :: forall abt a b b'. ABT Term abt => (abt '[] b -> abt '[] b') -> abt '[] (a :-> b) -> abt '[] (a :-> b')

expandTransformations :: forall abt a. ABT Term abt => abt '[] a -> abt '[] a

expandAllTransformations :: forall abt a. ABT Term abt => abt '[] a -> IO (abt '[] a)

expandTransformationsWith' :: forall abt a. ABT Term abt => TransformTable abt Identity -> abt '[] a -> abt '[] a

type TransformM = StateT TransformCtx

expandTransformationsWith :: forall abt a m. (ABT Term abt, Applicative m, Monad m) => TransformTable abt m -> abt '[] a -> m (abt '[] a)

mapleTransformationsWithOpts :: forall abt. ABT Term abt => MapleOptions () -> TransformTable abt IO

mapleTransformations :: ABT Term abt => TransformTable abt IO

haskellTransformations :: (Applicative m, ABT Term abt) => TransformTable abt m

allTransformationsWithMOpts :: ABT Term abt => MapleOptions () -> TransformTable abt IO

allTransformations :: ABT Term abt => TransformTable abt IO

coalesce :: forall abt a. ABT Term abt => abt '[] a -> abt '[] a

coalesceNaryOp :: ABT Term abt => NaryOp a -> Seq (abt '[] a) -> Seq (abt '[] a)