Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Propellor.Types.Singletons
Description
Simple implementation of singletons, portable back to ghc 7.6.3
Documentation
data family Sing (x :: k) Source #
The data family of singleton types.
Instances
A class used to pass singleton values implicitly.
Minimal complete definition
Instances
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 OSFreeBSD) Source # | |
SingI [k] ([] k) Source # | |
(SingI a x, SingI [a] xs) => SingI [a] ((:) a x xs) Source # | |