Instances1Eval
type Eval (AppendSymbol a b) = AppendSymbol a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol
Modulefcf-containers-0.8.2Haskell2010
Fcf.Data.Symbol
Fcf.Data.Symbol
This might should go to first-class-families.
Synopsis
- data AppendSymbol
- data CmpSymbol
- data CmpChar
- data ConsChar
- data UnconsSymbol
- data CharToNat
- data NatToChar
- data HandlePair
- data ToCharList
- data CharToSymbol
- data Concat
- data ConcatChars
- Packagefcf-containers-0.8.2
- Exports12
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceSymbol.hs
Instances1Eval
type Eval (ConsChar a b) = ConsSymbol a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol
Instances1Eval
type Eval (UnconsSymbol a) = UnconsSymbol aDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol
Instances2Eval
type Eval (HandlePair 'Nothing) = '[]Defined in fcf-containers-0.8.2 · Fcf.Data.Symboltype Eval (HandlePair ('Just '(c, sym))) = Eval ('[c] ++ Eval (ToCharList sym))Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol
Instances1Eval
type Eval (ToCharList sym) = Eval (HandlePair =<< UnconsSymbol sym)Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol
Instances1Eval
type Eval (CharToSymbol c) = ConsSymbol cDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol""
Instances1Eval
type Eval (Concat syms) = Eval (Foldr AppendSymbolDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol""
syms)
Instances1Eval
type Eval (ConcatChars chrs) = Eval (Foldr ConsCharDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol""
chrs)