Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Optics.Internal.Optic.TypeLevel
Description
This module is intended for internal use only, and may change without warning in subsequent releases.
Documentation
type family QuoteType (x :: Type) :: ErrorMessage where ... Source #
Show a type surrounded by quote marks.
Equations
QuoteType x = ('Text "\8216" :<>: 'ShowType x) :<>: 'Text "\8217" |
type family Append (xs :: IxList) (ys :: IxList) :: IxList where ... Source #
Append two type-level lists together.
class CurryCompose xs where Source #
Class that is inhabited by all type-level lists xs
, providing the ability
to compose a function under
.Curry
xs
Methods
composeN :: (i -> j) -> Curry xs i -> Curry xs j Source #
Compose a function under
. This generalises Curry
xs(
(aka
.
)fmap
for (->)
) to work for curried functions with one argument for each
type in the list.
Instances
CurryCompose ('[] :: [Type]) Source # | |
CurryCompose xs => CurryCompose (x ': xs) Source # | |