| 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
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 a6989586621681248117. (~>) Symbol a6989586621681248117
- type FromStringSym1 (arg6989586621681248153 :: Symbol) = FromString arg6989586621681248153
Documentation
Associated Types
type FromString (arg :: Symbol) :: a #
Instances
| PIsString Symbol # | |
Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg :: a # | |
| PIsString (Identity a) # | |
Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg :: a # | |
| PIsString (Const a b) # | |
Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg :: a # | |
Methods
sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t :: a) #
Instances
| SIsString Symbol # | |
Defined in Data.Singletons.Prelude.IsString Methods sFromString :: Sing t -> Sing (Apply FromStringSym0 t) # | |
| SIsString a => SIsString (Identity a) # | |
Defined in Data.Singletons.Prelude.IsString Methods sFromString :: Sing t -> Sing (Apply FromStringSym0 t) # | |
| SIsString a => SIsString (Const a b) # | |
Defined in Data.Singletons.Prelude.IsString Methods sFromString :: Sing t -> Sing (Apply FromStringSym0 t) # | |
Defunctionalization symbols
data FromStringSym0 :: forall a6989586621681248117. (~>) Symbol a6989586621681248117 #
Instances
| SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) # | |
Defined in Data.Singletons.Prelude.IsString Methods sing :: Sing FromStringSym0 # | |
| SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681248117 -> Type) # | |
Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () # | |
| type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681248153 :: Symbol) # | |
Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681248153 :: Symbol) = (FromString arg6989586621681248153 :: k2) | |
type FromStringSym1 (arg6989586621681248153 :: Symbol) = FromString arg6989586621681248153 #