singletons-2.5: 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

Contents

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
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 #

Defunctionalization symbols

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

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

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.IsString

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

Defined in Data.Singletons.Prelude.IsString

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

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