type-int-0.5.0.2: Type Level 2s- and 16s- Complement Integers

Portability	non-portable (MPTC)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Safe-Infered

Data.Type.Maybe

Description

Simple type-level Maybe w JustNothing Types

Documentation

data TNothing Source

Instances

Show TNothing
TMaybe TNothing
TCMaybe Closure TNothing
TLt TNothing TNothing F
TEq TNothing TNothing T
TLt TNothing (TJust b) T
TEq TNothing (TJust a) F
TLt (TJust b) TNothing F
TEq (TJust a) TNothing F

tNothing :: TNothing Source

data TJust x Source

Instances

TCMaybe Closure (TJust a)
TLt TNothing (TJust b) T
TEq TNothing (TJust a) F
Show a => Show (TJust a)
TMaybe (TJust a)
TLt (TJust b) TNothing F
TEq (TJust a) TNothing F
TLt a b r => TLt (TJust a) (TJust b) r
TEq a b r => TEq (TJust a) (TJust b) r

tJust :: t -> TJust tSource

tFromJust :: TJust t -> tSource

class TCMaybe Closure s => TMaybe s Source

Instances

TMaybe TNothing
TMaybe (TJust a)