Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #