| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Singletons.Bool
Contents
- data SBool b where
- class SBoolI b where
- sboolAnd :: SBool a -> SBool b -> SBool (a && b)
- sboolOr :: SBool a -> SBool b -> SBool (a || b)
- sboolNot :: SBool a -> SBool (Not a)
- eqToRefl :: (a == b) ~ True => a :~: b
- eqCast :: (a == b) ~ True => a -> b
- sboolEqRefl :: forall a b. SBoolI (a == b) => Maybe (a :~: b)
- trivialRefl :: () :~: ()