singletons-2.6: A framework for generating singleton types
Copyright(C) 2017 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.IsString

Description

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

Synopsis

Documentation

class PIsString (a :: Type) Source #

Associated Types

type FromString (arg :: Symbol) :: a Source #

Instances

Instances details
PIsString Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a Source #

PIsString (Identity a) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a Source #

PIsString (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a Source #

class SIsString a where Source #

Methods

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

Instances

Instances details
SIsString Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Methods

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

SIsString a => SIsString (Identity a) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Methods

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

SIsString a => SIsString (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Methods

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

Defunctionalization symbols

data FromStringSym0 :: forall a6989586621681263277. (~>) Symbol a6989586621681263277 Source #

Instances

Instances details
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681263277 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681263303 :: Symbol) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681263303 :: Symbol) = FromString arg6989586621681263303 :: k2

type FromStringSym1 (arg6989586621681263303 :: Symbol) = FromString arg6989586621681263303 Source #