Fcf.Data.Symbol

Fcf.Data.Symbol

This might should go to first-class-families.

Documentation

data CmpSymbol :: Symbol -> Symbol -> Exp Ordering

Instances

type Eval (CmpSymbol a b :: Ordering -> Type)

Defined in Fcf.Data.Symbol

type Eval (CmpSymbol a b :: Ordering -> Type) = TypeError ('Text "CmpSymbol in 9.2.x or higher") :: Ordering

data CmpChar :: Char -> Char -> Exp Ordering

Instances

type Eval (CmpChar a b :: Ordering -> Type)

Defined in Fcf.Data.Symbol

type Eval (CmpChar a b :: Ordering -> Type) = TypeError ('Text "CmpChar in 9.2.x or higher") :: Ordering

data UnconsSymbol :: Symbol -> Exp (Maybe (Char, Symbol))

Instances

type Eval (UnconsSymbol a :: Maybe (Char, Symbol) -> Type)

Defined in Fcf.Data.Symbol

type Eval (UnconsSymbol a :: Maybe (Char, Symbol) -> Type) = TypeError ('Text "UnconsSymbol in 9.2.x or higher") :: Maybe (Char, Symbol)

data CharToNat :: Char -> Exp Nat

Instances

type Eval (CharToNat c :: Nat -> Type)

Defined in Fcf.Data.Symbol

type Eval (CharToNat c :: Nat -> Type) = TypeError ('Text "CharToNat in 9.2.x or higher") :: Nat

data NatToChar :: Nat -> Exp Char

Instances

type Eval (NatToChar n :: Char -> Type)

Defined in Fcf.Data.Symbol

type Eval (NatToChar n :: Char -> Type) = TypeError ('Text "NatToChar in 9.2.x or higher") :: Char

data ConsChar :: Char -> Symbol -> Exp Symbol

Instances

type Eval (ConsChar a b :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (ConsChar a b :: Symbol -> Type) = TypeError ('Text "ConsChar in 9.2.x or higher") :: Symbol

data ToCharList :: Symbol -> Exp [Char]

Instances

type Eval (ToCharList sym :: [Char] -> Type)

Defined in Fcf.Data.Symbol

type Eval (ToCharList sym :: [Char] -> Type) = TypeError ('Text "ToCharList in 9.2.x or higher") :: [Char]

data CharToSymbol :: Char -> Exp Symbol

Instances

type Eval (CharToSymbol c :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (CharToSymbol c :: Symbol -> Type) = TypeError ('Text "CharToSymbol in 9.2.x or higher") :: Symbol

data Concat :: [Symbol] -> Exp Symbol

Instances

type Eval (Concat lst :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Concat lst :: Symbol -> Type) = TypeError ('Text "Concat in 9.2.x or higher") :: Symbol

data ConcatChars :: [Char] -> Exp Symbol

Instances

type Eval (ConcatChars lst :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (ConcatChars lst :: Symbol -> Type) = TypeError ('Text "ConcatChars in 9.2.x or higher") :: Symbol