Copyright | Copyright (C) 2015 Kyle Carter |
---|---|
License | BSD3 |
Maintainer | Kyle Carter <kylcarte@indiana.edu> |
Stability | experimental |
Portability | RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
A singleton
-esque type for type-level Bool values.
Documentation
data Boolean :: Bool -> * where Source #
TestEquality Bool Boolean Source # | |
Read1 Bool Boolean Source # | |
Show1 Bool Boolean Source # | |
Ord1 Bool Boolean Source # | |
Eq1 Bool Boolean Source # | |
BoolEquality Bool Boolean Source # | |
Known Bool Boolean False Source # | |
Known Bool Boolean True Source # | |
Eq (Boolean b) Source # | |
Ord (Boolean b) Source # | |
Show (Boolean b) Source # | |
type KnownC Bool Boolean False Source # | |
type KnownC Bool Boolean True Source # | |
class BoolEquality f where Source #
boolEquality :: f a -> f b -> Boolean (a == b) Source #
BoolEquality Bool Boolean Source # | |
BoolEquality N Nat Source # | |
BoolEquality k f => BoolEquality [k] (Prod k f) Source # | |