| Copyright | (C) 2017 Ryan Scott |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Promotion.Prelude.IsString
Contents
Description
Defines and exports a promoted version of the IsString
type class from Data.String.
Synopsis
- class PIsString (a :: Type) where
- type FromString (arg :: Symbol) :: a
- data FromStringSym0 (l :: TyFun Symbol a6989586621679439496)
- type FromStringSym1 (t :: Symbol) = FromString t
Documentation
class PIsString (a :: Type) Source #
Associated Types
type FromString (arg :: Symbol) :: a Source #
Instances
| PIsString Symbol Source # | |
Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg :: a Source # | |
Defunctionalization symbols
data FromStringSym0 (l :: TyFun Symbol a6989586621679439496) Source #
Instances
| SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621679439496 -> *) Source # | |
Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () Source # | |
| type Apply (FromStringSym0 :: TyFun Symbol k2 -> *) (l :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.IsString | |
type FromStringSym1 (t :: Symbol) = FromString t Source #