Documentation

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

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

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

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