Data.Singletons.Prelude.IsString

Defines and exports a promoted and singled version of the IsString type class from Data.String.

Documentation

class PIsString a

Associated Types

type FromString (arg :: Symbol) :: a

Instances

PIsString Symbol

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a

PIsString (Identity a)

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a

PIsString (Const a b)

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a

class SIsString a where

Methods

sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t :: a)

Instances

SIsString Symbol

Defined in Data.Singletons.Prelude.IsString

Methods

sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t)

SIsString a => SIsString (Identity a)

Defined in Data.Singletons.Prelude.IsString

Methods

sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t)

SIsString a => SIsString (Const a b)

Defined in Data.Singletons.Prelude.IsString

Methods

sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t)

Defunctionalization symbols

data FromStringSym0 a6989586621681280469

Instances

SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type)

Defined in Data.Singletons.Prelude.IsString

Methods

sing :: Sing FromStringSym0

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type)

Defined in Data.Singletons.Prelude.IsString

Methods

suppressUnusedWarnings :: ()

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681280469 :: Symbol)

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681280469 :: Symbol) = FromStringSym1 a6989586621681280469 :: k2

type FromStringSym1 (a6989586621681280469 :: Symbol) = FromString a6989586621681280469 :: a