Safe Haskell | None |
---|---|
Language | Haskell2010 |
Various constants used by zephyr.
Documentation
unit :: ModuleName Source #
pattern Unit :: ModuleName Source #
pattern Semigroup :: ModuleName Source #
pattern Ring :: ModuleName Source #
ring :: ModuleName Source #
pattern Semiring :: ModuleName Source #
pattern HeytingAlgebra :: ModuleName Source #
pattern UnsafeCoerce :: ModuleName Source #
eqMod :: ModuleName Source #
pattern Eq :: ModuleName Source #