Documentation

computationType :: (Monad m, Var v) => TypeP v m Source #

valueType :: (Monad m, Var v) => TypeP v m Source #

valueTypeLeaf :: (Monad m, Var v) => TypeP v m Source #