singletons-2.6: A framework for generating singleton types

Copyright | (C) 2017 Ryan Scott
License | BSD-style (see LICENSE)
Maintainer | Ryan Scott
Stability | experimental
Portability | non-portable
Safe Haskell | None
Language | Haskell2010

Data.Singletons.Prelude.IsString

Contents

- Defunctionalization symbols

Description

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

Synopsis

- class PIsString (a :: Type) where
  - type FromString (arg :: Symbol) :: a
- class SIsString a where
  - sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t :: a)
- data FromStringSym0 :: forall a6989586621681259525. (~>) Symbol a6989586621681259525
- type FromStringSym1 (arg6989586621681259551 :: Symbol) = FromString arg6989586621681259551

# 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 a6989586621681259525. (~>) Symbol a6989586621681259525 Source #

#### Instances

Instances details

SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.IsString Methods sing :: Sing FromStringSym0 Source #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681259525 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () Source #
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681259551 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681259551 :: Symbol) = FromString arg6989586621681259551 :: k2

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