zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellNone
LanguageHaskell2010

ZM.Type.Bit

Synopsis

Documentation

data Bit Source #

A Bit

Constructors

V0 
V1 

Instances

Eq Bit Source # 

Methods

(==) :: Bit -> Bit -> Bool #

(/=) :: Bit -> Bit -> Bool #

Ord Bit Source # 

Methods

compare :: Bit -> Bit -> Ordering #

(<) :: Bit -> Bit -> Bool #

(<=) :: Bit -> Bit -> Bool #

(>) :: Bit -> Bit -> Bool #

(>=) :: Bit -> Bit -> Bool #

max :: Bit -> Bit -> Bit #

min :: Bit -> Bit -> Bit #

Show Bit Source # 

Methods

showsPrec :: Int -> Bit -> ShowS #

show :: Bit -> String #

showList :: [Bit] -> ShowS #

Generic Bit Source # 

Associated Types

type Rep Bit :: * -> * #

Methods

from :: Bit -> Rep Bit x #

to :: Rep Bit x -> Bit #

Flat Bit Source # 
Model Bit Source # 

Methods

envType :: Proxy * Bit -> State Env HType #

type Rep Bit Source # 
type Rep Bit = D1 (MetaData "Bit" "ZM.Type.Bit" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) ((:+:) (C1 (MetaCons "V0" PrefixI False) U1) (C1 (MetaCons "V1" PrefixI False) U1))