Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Simple implementation of singletons, portable back to ghc 7.6.3
Documentation
data family Sing (x :: k) Source #
The data family of singleton types.
A class used to pass singleton values implicitly.
SingI Bool False Source # | |
SingI Bool True Source # | |
SingI MetaType WithInfo Source # | |
SingI MetaType (Targeting OSDebian) Source # | |
SingI MetaType (Targeting OSBuntish) Source # | |
SingI MetaType (Targeting OSArchLinux) Source # | |
SingI MetaType (Targeting OSFreeBSD) Source # | |
SingI [k] ([] k) Source # | |
(SingI a x, SingI [a] xs) => SingI [a] ((:) a x xs) Source # | |