Copyright | (C) 2017- Mark Andrus Roberts |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Mark Andrus Roberts <markandrusroberts@gmail.com> |
Stability | provisional |
Safe Haskell | Safe |
Language | Haskell98 |
This module defines Alpha
, a data type for the characters A through Z,
along with a singleton type.
- data Alpha
- alphaToChar :: Alpha -> Char
- salphaToChar :: IsAlpha a => SAlpha a -> Char
- data SAlpha (a :: Alpha) where
- SA :: SAlpha A
- SB :: SAlpha B
- SC :: SAlpha C
- SD :: SAlpha D
- SE :: SAlpha E
- SF :: SAlpha F
- SG :: SAlpha G
- SH :: SAlpha H
- SI :: SAlpha I
- SJ :: SAlpha J
- SK :: SAlpha K
- SL :: SAlpha L
- SM :: SAlpha M
- SN :: SAlpha N
- SO :: SAlpha O
- SP :: SAlpha P
- SQ :: SAlpha Q
- SR :: SAlpha R
- SS :: SAlpha S
- ST :: SAlpha T
- SU :: SAlpha U
- SV :: SAlpha V
- SW :: SAlpha W
- SX :: SAlpha X
- SY :: SAlpha Y
- SZ :: SAlpha Z
- class IsAlpha (a :: Alpha) where
Documentation
Characters A through Z
alphaToChar :: Alpha -> Char Source #
data SAlpha (a :: Alpha) where Source #
SA :: SAlpha A | |
SB :: SAlpha B | |
SC :: SAlpha C | |
SD :: SAlpha D | |
SE :: SAlpha E | |
SF :: SAlpha F | |
SG :: SAlpha G | |
SH :: SAlpha H | |
SI :: SAlpha I | |
SJ :: SAlpha J | |
SK :: SAlpha K | |
SL :: SAlpha L | |
SM :: SAlpha M | |
SN :: SAlpha N | |
SO :: SAlpha O | |
SP :: SAlpha P | |
SQ :: SAlpha Q | |
SR :: SAlpha R | |
SS :: SAlpha S | |
ST :: SAlpha T | |
SU :: SAlpha U | |
SV :: SAlpha V | |
SW :: SAlpha W | |
SX :: SAlpha X | |
SY :: SAlpha Y | |
SZ :: SAlpha Z |
class IsAlpha (a :: Alpha) where Source #
IsAlpha A Source # | |
IsAlpha B Source # | |
IsAlpha C Source # | |
IsAlpha D Source # | |
IsAlpha E Source # | |
IsAlpha F Source # | |
IsAlpha G Source # | |
IsAlpha H Source # | |
IsAlpha I Source # | |
IsAlpha J Source # | |
IsAlpha K Source # | |
IsAlpha L Source # | |
IsAlpha M Source # | |
IsAlpha N Source # | |
IsAlpha O Source # | |
IsAlpha P Source # | |
IsAlpha Q Source # | |
IsAlpha R Source # | |
IsAlpha S Source # | |
IsAlpha T Source # | |
IsAlpha U Source # | |
IsAlpha V Source # | |
IsAlpha W Source # | |
IsAlpha X Source # | |
IsAlpha Y Source # | |
IsAlpha Z Source # | |