Fcf.Data.Symbol

Fcf.Data.Symbol

Type-level symbols and functions for them.

Note that the operators from this module conflict with GHC.TypeLits.

Reexported type

From GHC.TypeList.

data Symbol

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances

SingKind Symbol

Since: base-4.9.0.0

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol :: Type

Methods

fromSing :: Sing a -> DemoteRep Symbol

KnownSymbol a => SingI (a :: Symbol)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

sing :: Sing a

data Sing (s :: Symbol)

Defined in GHC.Generics

data Sing (s :: Symbol) where

• SSym :: forall (s :: Symbol). KnownSymbol s => Sing s

type DemoteRep Symbol

Defined in GHC.Generics

type DemoteRep Symbol = String

type Eval (Intercalate s1 ([] :: [Symbol]) :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Intercalate s1 ([] :: [Symbol]) :: Symbol -> Type) = ""

type Eval (Intercalate s1 (s ': sLst) :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Intercalate s1 (s ': sLst) :: Symbol -> Type)

type Eval (Append s1 s2 :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Append s1 s2 :: Symbol -> Type) = AppendSymbol s1 s2

Functions

data Append :: Symbol -> Symbol -> Exp Symbol

Append two type-level symbols.

Example

>>> :kind! Eval (Append "hmm" " ok")
Eval (Append "hmm" " ok") :: Symbol
= "hmm ok"

Instances

type Eval (Append s1 s2 :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Append s1 s2 :: Symbol -> Type) = AppendSymbol s1 s2

data Intercalate :: Symbol -> [Symbol] -> Exp Symbol

Intercalate type-level symbols.

Example

>>> :kind! Eval (Intercalate "+" '["aa", "bb", "cc"])
Eval (Intercalate "+" '["aa", "bb", "cc"]) :: Symbol
= "aa+bb+cc"

>>> :kind! Eval (Intercalate "+" '["aa"])
Eval (Intercalate "+" '["aa"]) :: Symbol
= "aa"

>>> :kind! Eval (Intercalate "+" '[])
Eval (Intercalate "+" '[]) :: Symbol
= ""

Instances

type Eval (Intercalate s1 ([] :: [Symbol]) :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Intercalate s1 ([] :: [Symbol]) :: Symbol -> Type) = ""

type Eval (Intercalate s1 (s ': sLst) :: Symbol -> Type)

Defined in Fcf.Data.Symbol

type Eval (Intercalate s1 (s ': sLst) :: Symbol -> Type)

Comparison functions

data (<=) :: Symbol -> Symbol -> Exp Bool

Less-than-or-equal comparison for symbols.

Example

>>> :kind! Eval ("b" <= "a")
Eval ("b" <= "a") :: Bool
= 'False

Instances

type Eval (a <= b :: Bool -> Type)

Defined in Fcf.Data.Symbol

type Eval (a <= b :: Bool -> Type) = Eval (Eval (TyEq (CmpSymbol a b) LT) || Eval (TyEq (CmpSymbol a b) EQ))

data (>=) :: Symbol -> Symbol -> Exp Bool

Larger-than-or-equal comparison for symbols.

Example

>>> :kind! Eval ("b" >= "a")
Eval ("b" >= "a") :: Bool
= 'True

Instances

type Eval (a >= b :: Bool -> Type)

Defined in Fcf.Data.Symbol

type Eval (a >= b :: Bool -> Type) = Eval (Eval (TyEq (CmpSymbol a b) GT) || Eval (TyEq (CmpSymbol a b) EQ))

data (<) :: Symbol -> Symbol -> Exp Bool

Less-than comparison for symbols.

Example

>>> :kind! Eval ("a" < "b")
Eval ("a" < "b") :: Bool
= 'True

Instances

type Eval (a < b :: Bool -> Type)

Defined in Fcf.Data.Symbol

type Eval (a < b :: Bool -> Type) = Eval (TyEq (CmpSymbol a b) LT)

data (>) :: Symbol -> Symbol -> Exp Bool

Larger-than comparison for symbols.

Example

>>> :kind! Eval ("b" > "a")
Eval ("b" > "a") :: Bool
= 'True

Instances

type Eval (a > b :: Bool -> Type)

Defined in Fcf.Data.Symbol

type Eval (a > b :: Bool -> Type) = Eval (TyEq (CmpSymbol a b) GT)

data (==) :: Symbol -> Symbol -> Exp Bool

Equality of symbols

Example

>>> :kind! Eval ("b" == "a")
Eval ("b" == "a") :: Bool
= 'False

Instances

type Eval (a == b :: Bool -> Type)

Defined in Fcf.Data.Symbol

type Eval (a == b :: Bool -> Type) = Eval (TyEq (CmpSymbol a b) EQ)