zm-0.3.2: Language independent, reproducible, absolute types
ZM.Type.Unit
Synopsis
data Unit Source #
The Unit type
Constructors
Instances
Methods
(==) :: Unit -> Unit -> Bool #
(/=) :: Unit -> Unit -> Bool #
compare :: Unit -> Unit -> Ordering #
(<) :: Unit -> Unit -> Bool #
(<=) :: Unit -> Unit -> Bool #
(>) :: Unit -> Unit -> Bool #
(>=) :: Unit -> Unit -> Bool #
max :: Unit -> Unit -> Unit #
min :: Unit -> Unit -> Unit #
showsPrec :: Int -> Unit -> ShowS #
show :: Unit -> String #
showList :: [Unit] -> ShowS #
Associated Types
type Rep Unit :: * -> * #
from :: Unit -> Rep Unit x #
to :: Rep Unit x -> Unit #
envType :: Proxy * Unit -> State Env HType #