| Copyright | Copyright (C) 2015 Kyle Carter |
|---|---|
| License | BSD3 |
| Maintainer | Kyle Carter <kylcarte@indiana.edu> |
| Stability | experimental |
| Portability | RankNTypes |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Type.Sym
Description
A singleton-esque type for representing type-level Symbols.
Documentation
data Sym :: Symbol -> * where Source
Constructors
| Sym :: KnownSymbol x => Sym x |
Instances
| 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 |