singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2017 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
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 #

class SIsString a where Source #

Minimal complete definition

sFromString

Methods

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

Instances
SIsString Symbol Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Defunctionalization symbols

data FromStringSym0 (l :: TyFun Symbol a6989586621679439496) Source #

Instances
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621679439496 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) = (FromString l :: k2)