License | MIT |
---|---|
Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Documentation
selectName :: Name Source #
primitives :: Set Const Source #
existsName :: Name Source #
forallName :: Name Source #
appendName :: Name Source #
composeName :: Name Source #
funpowName :: Name Source #
addRealName :: Name Source #
divRealName :: Name Source #
geRealName :: Name Source #
gtRealName :: Name Source #
leRealName :: Name Source #
ltRealName :: Name Source #
multRealName :: Name Source #
powerRealName :: Name Source #
subRealName :: Name Source #
deleteName :: Name Source #
insertName :: Name Source #
intersectName :: Name Source #
memberName :: Name Source #
subsetName :: Name Source #