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 representing type-level Symbols.
Documentation
data Sym :: Symbol -> * where Source
Sym :: KnownSymbol x => Sym x |
TestEquality Symbol Sym Source | |
Show1 Symbol Sym Source | |
Ord1 Symbol Sym Source | |
Eq1 Symbol Sym Source | |
KnownSymbol x => Known Symbol Sym x Source | |
Witness ØC (KnownSymbol x) (Sym x) Source | |
Eq (Sym x) Source | |
Ord (Sym x) Source | |
Show (Sym x) Source | |
type KnownC Symbol Sym x = KnownSymbol x Source | |
type WitnessC ØC (KnownSymbol x) (Sym x) = ØC |