Control.Lens.Error.Internal.LensFail

Documentation

class LensFail e f | f -> e where

Methods

fizzle :: e -> f a

alterErrors :: (e -> e) -> f a -> f a

joinErrors :: f (f a) -> f a

Instances

LensFail e (Validation e)

Defined in Control.Lens.Error.Internal.LensFail

Methods

fizzle :: e -> Validation e a

alterErrors :: (e -> e) -> Validation e a -> Validation e a

joinErrors :: Validation e (Validation e a) -> Validation e a

LensFail e (Either e)

Defined in Control.Lens.Error.Internal.LensFail

Methods

fizzle :: e -> Either e a

alterErrors :: (e -> e) -> Either e a -> Either e a

joinErrors :: Either e (Either e a) -> Either e a

LensFail e (Const (Validation e a) :: Type -> Type)

Defined in Control.Lens.Error.Internal.LensFail

Methods

fizzle :: e -> Const (Validation e a) a0

alterErrors :: (e -> e) -> Const (Validation e a) a0 -> Const (Validation e a) a0

joinErrors :: Const (Validation e a) (Const (Validation e a) a0) -> Const (Validation e a) a0

LensFail e (Const (Either e a) :: Type -> Type)

Defined in Control.Lens.Error.Internal.LensFail

Methods

fizzle :: e -> Const (Either e a) a0

alterErrors :: (e -> e) -> Const (Either e a) a0 -> Const (Either e a) a0

joinErrors :: Const (Either e a) (Const (Either e a) a0) -> Const (Either e a) a0

Monoid a => LensFail e (Const (e, a) :: Type -> Type)

Defined in Control.Lens.Error.Internal.LensFail

Methods

fizzle :: e -> Const (e, a) a0

alterErrors :: (e -> e) -> Const (e, a) a0 -> Const (e, a) a0

joinErrors :: Const (e, a) (Const (e, a) a0) -> Const (e, a) a0