singletons-base-3.1: A promoted and singled version of the base library
Copyright(C) 2017 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.String.Singletons

Description

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

Synopsis

Documentation

class PIsString a Source #

Associated Types

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

Instances

Instances details
PIsString Symbol Source # 
Instance details

Defined in Data.String.Singletons

Associated Types

type FromString arg :: a Source #

PIsString (Identity a) Source # 
Instance details

Defined in Data.String.Singletons

Associated Types

type FromString arg :: a Source #

PIsString (Const a b) Source # 
Instance details

Defined in Data.String.Singletons

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.String.Singletons

Methods

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

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

Defined in Data.String.Singletons

Methods

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

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

Defined in Data.String.Singletons

Methods

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

Defunctionalization symbols

data FromStringSym0 :: (~>) Symbol a Source #

Instances

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

Defined in Data.String.Singletons

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

Defined in Data.String.Singletons

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

Defined in Data.String.Singletons

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

type family FromStringSym1 (a6989586621681291725 :: Symbol) :: a where ... Source #

Equations

FromStringSym1 a6989586621681291725 = FromString a6989586621681291725