| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Singleraeh.Symbol
Synopsis
- sConsSymbol :: SChar ch -> SSymbol str -> SSymbol (ConsSymbol ch str)
- sUnconsSymbol :: SSymbol str -> SMaybe (STuple2 SChar SSymbol) (UnconsSymbol str)
- type family ReconsSymbol msym where ...
- sReconsSymbol :: SMaybe (STuple2 SChar SSymbol) msym -> SSymbol (ReconsSymbol msym)
- type RevCharsToSymbol chs = RevCharsToSymbol' "" chs
- type family RevCharsToSymbol' sym chs where ...
- revCharsToSymbol :: SList SChar chs -> SSymbol (RevCharsToSymbol chs)
- revCharsToSymbol' :: SSymbol str -> SList SChar chs -> SSymbol (RevCharsToSymbol' str chs)
Documentation
sConsSymbol :: SChar ch -> SSymbol str -> SSymbol (ConsSymbol ch str) Source #
sUnconsSymbol :: SSymbol str -> SMaybe (STuple2 SChar SSymbol) (UnconsSymbol str) Source #
type family ReconsSymbol msym where ... Source #
Re-construct the output from UnconsSymbol.
Equations
| ReconsSymbol (Just '(ch, sym)) = ConsSymbol ch sym | |
| ReconsSymbol Nothing = "" |
sReconsSymbol :: SMaybe (STuple2 SChar SSymbol) msym -> SSymbol (ReconsSymbol msym) Source #
type RevCharsToSymbol chs = RevCharsToSymbol' "" chs Source #
type family RevCharsToSymbol' sym chs where ... Source #
Equations
| RevCharsToSymbol' sym (ch : chs) = RevCharsToSymbol' (ConsSymbol ch sym) chs | |
| RevCharsToSymbol' sym '[] = sym |
revCharsToSymbol :: SList SChar chs -> SSymbol (RevCharsToSymbol chs) Source #
revCharsToSymbol' :: SSymbol str -> SList SChar chs -> SSymbol (RevCharsToSymbol' str chs) Source #