Modulefcf-containers-0.8.2Haskell2010

Fcf.Data.Symbol

This might should go to first-class-families.

datadata AppendSymbol (a :: Symbol) (b :: Symbol) (c :: Symbol)

Instances1Eval

type Eval (AppendSymbol a b) = AppendSymbol a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata CmpSymbol (a :: Symbol) (b :: Symbol) (c :: Ordering)

Instances1Eval

type Eval (CmpSymbol a b) = CmpSymbol a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata CmpChar (a :: Char) (b :: Char) (c :: Ordering)

Instances1Eval

type Eval (CmpChar a b) = CmpChar a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata ConsChar (a :: Char) (b :: Symbol) (c :: Symbol)

Instances1Eval

type Eval (ConsChar a b) = ConsSymbol a bDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata UnconsSymbol (a :: Symbol) (b :: Maybe (Char, Symbol))

Instances1Eval

type Eval (UnconsSymbol a) = UnconsSymbol aDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata CharToNat (a :: Char) (b :: Nat)

Instances1Eval

type Eval (CharToNat c) = CharToNat cDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata NatToChar (a :: Nat) (b :: Char)

Instances1Eval

type Eval (NatToChar n) = NatToChar nDefined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata HandlePair (a :: Maybe (Char, Symbol)) (b :: [Char])

Instances2Eval

type Eval (HandlePair 'Nothing) = '[]Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol
type Eval (HandlePair ('Just '(c, sym))) = Eval ('[c] ++ Eval (ToCharList sym))Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata ToCharList (a :: Symbol) (b :: [Char])

Instances1Eval

type Eval (ToCharList sym) = Eval (HandlePair =<< UnconsSymbol sym)Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata CharToSymbol (a :: Char) (b :: Symbol)

Instances1Eval

type Eval (CharToSymbol c) = ConsSymbol c ""Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata Concat (a :: [Symbol]) (b :: Symbol)

Instances1Eval

type Eval (Concat syms) = Eval (Foldr AppendSymbol "" syms)Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol

datadata ConcatChars (a :: [Char]) (b :: Symbol)

Instances1Eval

type Eval (ConcatChars chrs) = Eval (Foldr ConsChar "" chrs)Defined in fcf-containers-0.8.2 · Fcf.Data.Symbol