Documentation

computationType :: forall (m :: Type -> Type) v. (Monad m, Var v) => TypeP v m Source #

valueType :: forall (m :: Type -> Type) v. (Monad m, Var v) => TypeP v m Source #

valueTypeLeaf :: forall (m :: Type -> Type) v. (Monad m, Var v) => TypeP v m Source #