Safe Haskell	None
Language	Haskell2010

Lorentz.Coercions

Contents

Re-exports

Description

Identity transformations between different Haskell types.

Synopsis

type Coercible_ a b = ToT a ~ ToT b
coerce_ :: Coercible_ a b => (a & s) :-> (b & s)
coerceUnwrap :: Coercible_ newtyp (Unwrapped newtyp) => (newtyp ': s) :-> (Unwrapped newtyp ': s)
coerceWrap :: Coercible_ newtyp (Unwrapped newtyp) => (Unwrapped newtyp ': s) :-> (newtyp ': s)
toNamed :: Label name -> (a ': s) :-> (NamedF Identity a name ': s)
fromNamed :: Label name -> (NamedF Identity a name ': s) :-> (a ': s)
class Wrapped s where
- type Unwrapped s :: Type
- _Wrapped' :: Iso' s (Unwrapped s)

Documentation

type Coercible_ a b = ToT a ~ ToT b Source #

Whether two types have the same Michelson representation.

coerce_ :: Coercible_ a b => (a & s) :-> (b & s) Source #

Convert between values of types that have the same representation.

coerceUnwrap :: Coercible_ newtyp (Unwrapped newtyp) => (newtyp ': s) :-> (Unwrapped newtyp ': s) Source #

Specialized version of coerce_ to unwrap a haskell newtype.

coerceWrap :: Coercible_ newtyp (Unwrapped newtyp) => (Unwrapped newtyp ': s) :-> (newtyp ': s) Source #

Specialized version of coerce_ to wrap into a haskell newtype.

toNamed :: Label name -> (a ': s) :-> (NamedF Identity a name ': s) Source #

Lift given value to a named value.

fromNamed :: Label name -> (NamedF Identity a name ': s) :-> (a ': s) Source #

Unpack named value.

Re-exports

class Wrapped s where #

Wrapped provides isomorphisms to wrap and unwrap newtypes or data types with one constructor.

Minimal complete definition

Nothing

Associated Types

type Unwrapped s :: Type #

Methods

_Wrapped' :: Iso' s (Unwrapped s) #

An isomorphism between s and a.

If your type has a Generic instance, _Wrapped' will default to _GWrapped', and you can choose to not override it with your own definition.

Instances

Wrapped PatternMatchFail
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped PatternMatchFail :: Type # Methods _Wrapped' :: Iso' PatternMatchFail (Unwrapped PatternMatchFail) #
Wrapped RecSelError
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped RecSelError :: Type # Methods _Wrapped' :: Iso' RecSelError (Unwrapped RecSelError) #
Wrapped RecConError
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped RecConError :: Type # Methods _Wrapped' :: Iso' RecConError (Unwrapped RecConError) #
Wrapped RecUpdError
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped RecUpdError :: Type # Methods _Wrapped' :: Iso' RecUpdError (Unwrapped RecUpdError) #
Wrapped NoMethodError
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped NoMethodError :: Type # Methods _Wrapped' :: Iso' NoMethodError (Unwrapped NoMethodError) #
Wrapped TypeError
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped TypeError :: Type # Methods _Wrapped' :: Iso' TypeError (Unwrapped TypeError) #
Wrapped CDev
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CDev :: Type # Methods _Wrapped' :: Iso' CDev (Unwrapped CDev) #
Wrapped CIno
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CIno :: Type # Methods _Wrapped' :: Iso' CIno (Unwrapped CIno) #
Wrapped CMode
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CMode :: Type # Methods _Wrapped' :: Iso' CMode (Unwrapped CMode) #
Wrapped COff
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped COff :: Type # Methods _Wrapped' :: Iso' COff (Unwrapped COff) #
Wrapped CPid
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CPid :: Type # Methods _Wrapped' :: Iso' CPid (Unwrapped CPid) #
Wrapped CSsize
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSsize :: Type # Methods _Wrapped' :: Iso' CSsize (Unwrapped CSsize) #
Wrapped CGid
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CGid :: Type # Methods _Wrapped' :: Iso' CGid (Unwrapped CGid) #
Wrapped CNlink
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CNlink :: Type # Methods _Wrapped' :: Iso' CNlink (Unwrapped CNlink) #
Wrapped CUid
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUid :: Type # Methods _Wrapped' :: Iso' CUid (Unwrapped CUid) #
Wrapped CCc
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CCc :: Type # Methods _Wrapped' :: Iso' CCc (Unwrapped CCc) #
Wrapped CSpeed
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSpeed :: Type # Methods _Wrapped' :: Iso' CSpeed (Unwrapped CSpeed) #
Wrapped CTcflag
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CTcflag :: Type # Methods _Wrapped' :: Iso' CTcflag (Unwrapped CTcflag) #
Wrapped CRLim
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CRLim :: Type # Methods _Wrapped' :: Iso' CRLim (Unwrapped CRLim) #
Wrapped CBlkSize
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CBlkSize :: Type # Methods _Wrapped' :: Iso' CBlkSize (Unwrapped CBlkSize) #
Wrapped CBlkCnt
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CBlkCnt :: Type # Methods _Wrapped' :: Iso' CBlkCnt (Unwrapped CBlkCnt) #
Wrapped CClockId
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CClockId :: Type # Methods _Wrapped' :: Iso' CClockId (Unwrapped CClockId) #
Wrapped CFsBlkCnt
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CFsBlkCnt :: Type # Methods _Wrapped' :: Iso' CFsBlkCnt (Unwrapped CFsBlkCnt) #
Wrapped CFsFilCnt
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CFsFilCnt :: Type # Methods _Wrapped' :: Iso' CFsFilCnt (Unwrapped CFsFilCnt) #
Wrapped CId
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CId :: Type # Methods _Wrapped' :: Iso' CId (Unwrapped CId) #
Wrapped CKey
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CKey :: Type # Methods _Wrapped' :: Iso' CKey (Unwrapped CKey) #
Wrapped CTimer
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CTimer :: Type # Methods _Wrapped' :: Iso' CTimer (Unwrapped CTimer) #
Wrapped Fd
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped Fd :: Type # Methods _Wrapped' :: Iso' Fd (Unwrapped Fd) #
Wrapped Errno
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped Errno :: Type # Methods _Wrapped' :: Iso' Errno (Unwrapped Errno) #
Wrapped CompactionFailed
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CompactionFailed :: Type # Methods _Wrapped' :: Iso' CompactionFailed (Unwrapped CompactionFailed) #
Wrapped AssertionFailed
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped AssertionFailed :: Type # Methods _Wrapped' :: Iso' AssertionFailed (Unwrapped AssertionFailed) #
Wrapped ErrorCall
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped ErrorCall :: Type # Methods _Wrapped' :: Iso' ErrorCall (Unwrapped ErrorCall) #
Wrapped All
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped All :: Type # Methods _Wrapped' :: Iso' All (Unwrapped All) #
Wrapped Any
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped Any :: Type # Methods _Wrapped' :: Iso' Any (Unwrapped Any) #
Wrapped CChar
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CChar :: Type # Methods _Wrapped' :: Iso' CChar (Unwrapped CChar) #
Wrapped CSChar
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSChar :: Type # Methods _Wrapped' :: Iso' CSChar (Unwrapped CSChar) #
Wrapped CUChar
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUChar :: Type # Methods _Wrapped' :: Iso' CUChar (Unwrapped CUChar) #
Wrapped CShort
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CShort :: Type # Methods _Wrapped' :: Iso' CShort (Unwrapped CShort) #
Wrapped CUShort
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUShort :: Type # Methods _Wrapped' :: Iso' CUShort (Unwrapped CUShort) #
Wrapped CInt
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CInt :: Type # Methods _Wrapped' :: Iso' CInt (Unwrapped CInt) #
Wrapped CUInt
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUInt :: Type # Methods _Wrapped' :: Iso' CUInt (Unwrapped CUInt) #
Wrapped CLong
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CLong :: Type # Methods _Wrapped' :: Iso' CLong (Unwrapped CLong) #
Wrapped CULong
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CULong :: Type # Methods _Wrapped' :: Iso' CULong (Unwrapped CULong) #
Wrapped CLLong
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CLLong :: Type # Methods _Wrapped' :: Iso' CLLong (Unwrapped CLLong) #
Wrapped CULLong
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CULLong :: Type # Methods _Wrapped' :: Iso' CULLong (Unwrapped CULLong) #
Wrapped CBool
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CBool :: Type # Methods _Wrapped' :: Iso' CBool (Unwrapped CBool) #
Wrapped CFloat
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CFloat :: Type # Methods _Wrapped' :: Iso' CFloat (Unwrapped CFloat) #
Wrapped CDouble
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CDouble :: Type # Methods _Wrapped' :: Iso' CDouble (Unwrapped CDouble) #
Wrapped CPtrdiff
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CPtrdiff :: Type # Methods _Wrapped' :: Iso' CPtrdiff (Unwrapped CPtrdiff) #
Wrapped CSize
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSize :: Type # Methods _Wrapped' :: Iso' CSize (Unwrapped CSize) #
Wrapped CWchar
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CWchar :: Type # Methods _Wrapped' :: Iso' CWchar (Unwrapped CWchar) #
Wrapped CSigAtomic
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSigAtomic :: Type # Methods _Wrapped' :: Iso' CSigAtomic (Unwrapped CSigAtomic) #
Wrapped CClock
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CClock :: Type # Methods _Wrapped' :: Iso' CClock (Unwrapped CClock) #
Wrapped CTime
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CTime :: Type # Methods _Wrapped' :: Iso' CTime (Unwrapped CTime) #
Wrapped CUSeconds
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUSeconds :: Type # Methods _Wrapped' :: Iso' CUSeconds (Unwrapped CUSeconds) #
Wrapped CSUSeconds
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CSUSeconds :: Type # Methods _Wrapped' :: Iso' CSUSeconds (Unwrapped CSUSeconds) #
Wrapped CIntPtr
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CIntPtr :: Type # Methods _Wrapped' :: Iso' CIntPtr (Unwrapped CIntPtr) #
Wrapped CUIntPtr
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUIntPtr :: Type # Methods _Wrapped' :: Iso' CUIntPtr (Unwrapped CUIntPtr) #
Wrapped CIntMax
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CIntMax :: Type # Methods _Wrapped' :: Iso' CIntMax (Unwrapped CIntMax) #
Wrapped CUIntMax
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped CUIntMax :: Type # Methods _Wrapped' :: Iso' CUIntMax (Unwrapped CUIntMax) #
Wrapped IntSet
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped IntSet :: Type # Methods _Wrapped' :: Iso' IntSet (Unwrapped IntSet) #
Wrapped (Par1 p)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Par1 p) :: Type # Methods _Wrapped' :: Iso' (Par1 p) (Unwrapped (Par1 p)) #
Wrapped (Predicate a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Predicate a) :: Type # Methods _Wrapped' :: Iso' (Predicate a) (Unwrapped (Predicate a)) #
Wrapped (Comparison a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Comparison a) :: Type # Methods _Wrapped' :: Iso' (Comparison a) (Unwrapped (Comparison a)) #
Wrapped (Equivalence a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Equivalence a) :: Type # Methods _Wrapped' :: Iso' (Equivalence a) (Unwrapped (Equivalence a)) #
Wrapped (Min a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Min a) :: Type # Methods _Wrapped' :: Iso' (Min a) (Unwrapped (Min a)) #
Wrapped (Max a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Max a) :: Type # Methods _Wrapped' :: Iso' (Max a) (Unwrapped (Max a)) #
Wrapped (First a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (First a) :: Type # Methods _Wrapped' :: Iso' (First a) (Unwrapped (First a)) #
Wrapped (Last a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Last a) :: Type # Methods _Wrapped' :: Iso' (Last a) (Unwrapped (Last a)) #
Wrapped (WrappedMonoid a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedMonoid a) :: Type # Methods _Wrapped' :: Iso' (WrappedMonoid a) (Unwrapped (WrappedMonoid a)) #
Wrapped (Option a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Option a) :: Type # Methods _Wrapped' :: Iso' (Option a) (Unwrapped (Option a)) #
Wrapped (ZipList a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ZipList a) :: Type # Methods _Wrapped' :: Iso' (ZipList a) (Unwrapped (ZipList a)) #
Wrapped (Identity a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Identity a) :: Type # Methods _Wrapped' :: Iso' (Identity a) (Unwrapped (Identity a)) #
Wrapped (First a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (First a) :: Type # Methods _Wrapped' :: Iso' (First a) (Unwrapped (First a)) #
Wrapped (Last a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Last a) :: Type # Methods _Wrapped' :: Iso' (Last a) (Unwrapped (Last a)) #
Wrapped (Dual a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Dual a) :: Type # Methods _Wrapped' :: Iso' (Dual a) (Unwrapped (Dual a)) #
Wrapped (Endo a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Endo a) :: Type # Methods _Wrapped' :: Iso' (Endo a) (Unwrapped (Endo a)) #
Wrapped (Sum a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Sum a) :: Type # Methods _Wrapped' :: Iso' (Sum a) (Unwrapped (Sum a)) #
Wrapped (Product a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Product a) :: Type # Methods _Wrapped' :: Iso' (Product a) (Unwrapped (Product a)) #
Wrapped (Down a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Down a) :: Type # Methods _Wrapped' :: Iso' (Down a) (Unwrapped (Down a)) #
Wrapped (NonEmpty a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (NonEmpty a) :: Type # Methods _Wrapped' :: Iso' (NonEmpty a) (Unwrapped (NonEmpty a)) #
Wrapped (IntMap a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (IntMap a) :: Type # Methods _Wrapped' :: Iso' (IntMap a) (Unwrapped (IntMap a)) #
Wrapped (Seq a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Seq a) :: Type # Methods _Wrapped' :: Iso' (Seq a) (Unwrapped (Seq a)) #
Ord a => Wrapped (Set a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Set a) :: Type # Methods _Wrapped' :: Iso' (Set a) (Unwrapped (Set a)) #
Prim a => Wrapped (Vector a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Vector a) :: Type # Methods _Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a)) #
Storable a => Wrapped (Vector a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Vector a) :: Type # Methods _Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a)) #
Unbox a => Wrapped (Vector a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Vector a) :: Type # Methods _Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a)) #
(Hashable a, Eq a) => Wrapped (HashSet a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (HashSet a) :: Type # Methods _Wrapped' :: Iso' (HashSet a) (Unwrapped (HashSet a)) #
Wrapped (Vector a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Vector a) :: Type # Methods _Wrapped' :: Iso' (Vector a) (Unwrapped (Vector a)) #
Wrapped (Op a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Op a b) :: Type # Methods _Wrapped' :: Iso' (Op a b) (Unwrapped (Op a b)) #
(Hashable k, Eq k) => Wrapped (HashMap k a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (HashMap k a) :: Type # Methods _Wrapped' :: Iso' (HashMap k a) (Unwrapped (HashMap k a)) #
Ord k => Wrapped (Map k a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Map k a) :: Type # Methods _Wrapped' :: Iso' (Map k a) (Unwrapped (Map k a)) #
Wrapped (WrappedMonad m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedMonad m a) :: Type # Methods _Wrapped' :: Iso' (WrappedMonad m a) (Unwrapped (WrappedMonad m a)) #
Wrapped (ArrowMonad m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ArrowMonad m a) :: Type # Methods _Wrapped' :: Iso' (ArrowMonad m a) (Unwrapped (ArrowMonad m a)) #
Wrapped (MaybeT m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (MaybeT m a) :: Type # Methods _Wrapped' :: Iso' (MaybeT m a) (Unwrapped (MaybeT m a)) #
Wrapped (CatchT m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (CatchT m a) :: Type # Methods _Wrapped' :: Iso' (CatchT m a) (Unwrapped (CatchT m a)) #
Wrapped (CoiterT w a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (CoiterT w a) :: Type # Methods _Wrapped' :: Iso' (CoiterT w a) (Unwrapped (CoiterT w a)) #
Wrapped (IterT m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (IterT m a) :: Type # Methods _Wrapped' :: Iso' (IterT m a) (Unwrapped (IterT m a)) #
Wrapped (Alt f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Alt f a) :: Type # Methods _Wrapped' :: Iso' (Alt f a) (Unwrapped (Alt f a)) #
Wrapped (ListT m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ListT m a) :: Type # Methods _Wrapped' :: Iso' (ListT m a) (Unwrapped (ListT m a)) #
Wrapped (WrappedApplicative f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedApplicative f a) :: Type # Methods _Wrapped' :: Iso' (WrappedApplicative f a) (Unwrapped (WrappedApplicative f a)) #
Wrapped (MaybeApply f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (MaybeApply f a) :: Type # Methods _Wrapped' :: Iso' (MaybeApply f a) (Unwrapped (MaybeApply f a)) #
Wrapped (Rec1 f p)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Rec1 f p) :: Type # Methods _Wrapped' :: Iso' (Rec1 f p) (Unwrapped (Rec1 f p)) #
Wrapped (WrappedArrow a b c)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedArrow a b c) :: Type # Methods _Wrapped' :: Iso' (WrappedArrow a b c) (Unwrapped (WrappedArrow a b c)) #
Wrapped (Kleisli m a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Kleisli m a b) :: Type # Methods _Wrapped' :: Iso' (Kleisli m a b) (Unwrapped (Kleisli m a b)) #
Wrapped (Const a x)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Const a x) :: Type # Methods _Wrapped' :: Iso' (Const a x) (Unwrapped (Const a x)) #
Wrapped (Ap f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Ap f a) :: Type # Methods _Wrapped' :: Iso' (Ap f a) (Unwrapped (Ap f a)) #
Wrapped (Alt f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Alt f a) :: Type # Methods _Wrapped' :: Iso' (Alt f a) (Unwrapped (Alt f a)) #
Wrapped (Join p a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Join p a) :: Type # Methods _Wrapped' :: Iso' (Join p a) (Unwrapped (Join p a)) #
Wrapped (Fix p a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Fix p a) :: Type # Methods _Wrapped' :: Iso' (Fix p a) (Unwrapped (Fix p a)) #
Wrapped (TracedT m w a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (TracedT m w a) :: Type # Methods _Wrapped' :: Iso' (TracedT m w a) (Unwrapped (TracedT m w a)) #
Wrapped (IdentityT m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (IdentityT m a) :: Type # Methods _Wrapped' :: Iso' (IdentityT m a) (Unwrapped (IdentityT m a)) #
Wrapped (Compose f g a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Compose f g a) :: Type # Methods _Wrapped' :: Iso' (Compose f g a) (Unwrapped (Compose f g a)) #
Wrapped (ComposeFC f g a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ComposeFC f g a) :: Type # Methods _Wrapped' :: Iso' (ComposeFC f g a) (Unwrapped (ComposeFC f g a)) #
Wrapped (ComposeCF f g a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ComposeCF f g a) :: Type # Methods _Wrapped' :: Iso' (ComposeCF f g a) (Unwrapped (ComposeCF f g a)) #
Wrapped (ExceptT e m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ExceptT e m a) :: Type # Methods _Wrapped' :: Iso' (ExceptT e m a) (Unwrapped (ExceptT e m a)) #
Wrapped (FreeT f m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (FreeT f m a) :: Type # Methods _Wrapped' :: Iso' (FreeT f m a) (Unwrapped (FreeT f m a)) #
Wrapped (CofreeT f w a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (CofreeT f w a) :: Type # Methods _Wrapped' :: Iso' (CofreeT f w a) (Unwrapped (CofreeT f w a)) #
Wrapped (ApT f g a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ApT f g a) :: Type # Methods _Wrapped' :: Iso' (ApT f g a) (Unwrapped (ApT f g a)) #
Wrapped (ErrorT e m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ErrorT e m a) :: Type # Methods _Wrapped' :: Iso' (ErrorT e m a) (Unwrapped (ErrorT e m a)) #
Wrapped (StateT s m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (StateT s m a) :: Type # Methods _Wrapped' :: Iso' (StateT s m a) (Unwrapped (StateT s m a)) #
Wrapped (Backwards f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Backwards f a) :: Type # Methods _Wrapped' :: Iso' (Backwards f a) (Unwrapped (Backwards f a)) #
Wrapped (StateT s m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (StateT s m a) :: Type # Methods _Wrapped' :: Iso' (StateT s m a) (Unwrapped (StateT s m a)) #
Wrapped (WriterT w m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WriterT w m a) :: Type # Methods _Wrapped' :: Iso' (WriterT w m a) (Unwrapped (WriterT w m a)) #
Wrapped (WriterT w m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WriterT w m a) :: Type # Methods _Wrapped' :: Iso' (WriterT w m a) (Unwrapped (WriterT w m a)) #
Wrapped (NamedF Maybe a name) Source #
Instance details Defined in Util.Named Associated Types type Unwrapped (NamedF Maybe a name) :: Type # Methods _Wrapped' :: Iso' (NamedF Maybe a name) (Unwrapped (NamedF Maybe a name)) #
Wrapped (NamedF Identity a name) Source #
Instance details Defined in Util.Named Associated Types type Unwrapped (NamedF Identity a name) :: Type # Methods _Wrapped' :: Iso' (NamedF Identity a name) (Unwrapped (NamedF Identity a name)) #
Wrapped (Star f d c)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Star f d c) :: Type # Methods _Wrapped' :: Iso' (Star f d c) (Unwrapped (Star f d c)) #
Wrapped (Costar f d c)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Costar f d c) :: Type # Methods _Wrapped' :: Iso' (Costar f d c) (Unwrapped (Costar f d c)) #
Wrapped (WrappedArrow p a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedArrow p a b) :: Type # Methods _Wrapped' :: Iso' (WrappedArrow p a b) (Unwrapped (WrappedArrow p a b)) #
Wrapped (Forget r a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Forget r a b) :: Type # Methods _Wrapped' :: Iso' (Forget r a b) (Unwrapped (Forget r a b)) #
Wrapped (Static f a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Static f a b) :: Type # Methods _Wrapped' :: Iso' (Static f a b) (Unwrapped (Static f a b)) #
Wrapped (Tagged s a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Tagged s a) :: Type # Methods _Wrapped' :: Iso' (Tagged s a) (Unwrapped (Tagged s a)) #
Wrapped (Reverse f a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Reverse f a) :: Type # Methods _Wrapped' :: Iso' (Reverse f a) (Unwrapped (Reverse f a)) #
Wrapped (Constant a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Constant a b) :: Type # Methods _Wrapped' :: Iso' (Constant a b) (Unwrapped (Constant a b)) #
Wrapped (K1 i c p)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (K1 i c p) :: Type # Methods _Wrapped' :: Iso' (K1 i c p) (Unwrapped (K1 i c p)) #
Wrapped (ReaderT r m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ReaderT r m a) :: Type # Methods _Wrapped' :: Iso' (ReaderT r m a) (Unwrapped (ReaderT r m a)) #
Wrapped (ContT r m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (ContT r m a) :: Type # Methods _Wrapped' :: Iso' (ContT r m a) (Unwrapped (ContT r m a)) #
Wrapped (Cayley f p a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Cayley f p a b) :: Type # Methods _Wrapped' :: Iso' (Cayley f p a b) (Unwrapped (Cayley f p a b)) #
Wrapped (M1 i c f p)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (M1 i c f p) :: Type # Methods _Wrapped' :: Iso' (M1 i c f p) (Unwrapped (M1 i c f p)) #
Wrapped ((f :.: g) p)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped ((f :.: g) p) :: Type # Methods _Wrapped' :: Iso' ((f :.: g) p) (Unwrapped ((f :.: g) p)) #
Wrapped (Compose f g a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Compose f g a) :: Type # Methods _Wrapped' :: Iso' (Compose f g a) (Unwrapped (Compose f g a)) #
Wrapped (WrappedBifunctor p a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedBifunctor p a b) :: Type # Methods _Wrapped' :: Iso' (WrappedBifunctor p a b) (Unwrapped (WrappedBifunctor p a b)) #
Wrapped (Joker g a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Joker g a b) :: Type # Methods _Wrapped' :: Iso' (Joker g a b) (Unwrapped (Joker g a b)) #
Wrapped (Flip p a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Flip p a b) :: Type # Methods _Wrapped' :: Iso' (Flip p a b) (Unwrapped (Flip p a b)) #
Wrapped (Clown f a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Clown f a b) :: Type # Methods _Wrapped' :: Iso' (Clown f a b) (Unwrapped (Clown f a b)) #
Wrapped (RWST r w s m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (RWST r w s m a) :: Type # Methods _Wrapped' :: Iso' (RWST r w s m a) (Unwrapped (RWST r w s m a)) #
Wrapped (RWST r w s m a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (RWST r w s m a) :: Type # Methods _Wrapped' :: Iso' (RWST r w s m a) (Unwrapped (RWST r w s m a)) #
Wrapped (Dual k3 a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Dual k3 a b) :: Type # Methods _Wrapped' :: Iso' (Dual k3 a b) (Unwrapped (Dual k3 a b)) #
Wrapped (WrappedCategory k3 a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (WrappedCategory k3 a b) :: Type # Methods _Wrapped' :: Iso' (WrappedCategory k3 a b) (Unwrapped (WrappedCategory k3 a b)) #
Wrapped (Semi m a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Semi m a b) :: Type # Methods _Wrapped' :: Iso' (Semi m a b) (Unwrapped (Semi m a b)) #
Wrapped (Tannen f p a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Tannen f p a b) :: Type # Methods _Wrapped' :: Iso' (Tannen f p a b) (Unwrapped (Tannen f p a b)) #
Wrapped (Biff p f g a b)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (Biff p f g a b) :: Type # Methods _Wrapped' :: Iso' (Biff p f g a b) (Unwrapped (Biff p f g a b)) #