Copyright | (C) 2017 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | GHC2021 |
Defines and exports a promoted and singled version of the IsString
type class from Data.String.
Synopsis
- class PIsString a where
- type FromString (arg :: Symbol) :: a
- class SIsString a where
- sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply (FromStringSym0 :: TyFun Symbol a -> Type) t)
- data FromStringSym0 (a1 :: TyFun Symbol a)
- type family FromStringSym1 (a6989586621681179965 :: Symbol) :: a where ...
Documentation
type FromString (arg :: Symbol) :: a Source #
Instances
PIsString Symbol Source # | |||||
Defined in Data.String.Singletons
| |||||
PIsString (Identity a) Source # | |||||
Defined in Data.String.Singletons | |||||
PIsString (Const a b) Source # | |||||
Defined in Data.String.Singletons |
class SIsString a where Source #
sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply (FromStringSym0 :: TyFun Symbol a -> Type) t) Source #
Defunctionalization symbols
data FromStringSym0 (a1 :: TyFun Symbol a) Source #
Instances
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) Source # | |
Defined in Data.String.Singletons | |
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type) Source # | |
Defined in Data.String.Singletons suppressUnusedWarnings :: () # | |
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681179965 :: Symbol) Source # | |
Defined in Data.String.Singletons type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681179965 :: Symbol) = FromString a6989586621681179965 :: k2 |
type family FromStringSym1 (a6989586621681179965 :: Symbol) :: a where ... Source #
FromStringSym1 a6989586621681179965 = FromString a6989586621681179965 :: a |