Safe Haskell	None
Language	Haskell2010

Control.Exitcode.Optics

Synopsis

class GetExitcode s e (f :: Type -> Type) a | s -> e f a where
- getExitcode :: Getter s (Exitcode e f a)
class GetExitcode s e f a => HasExitcode s e (f :: Type -> Type) a | s -> e f a where
- exitcode :: Lens' s (Exitcode e f a)
class ReviewExitcode t e (f :: Type -> Type) a | t -> e f a where
- reviewExitcode :: Review t (Exitcode e f a)
class ReviewExitcode t e f a => AsExitcode t e (f :: Type -> Type) a | t -> e f a where
- _Exitcode :: Prism' t (Exitcode e f a)
class GetExitcodeBifunctor s (f :: Type -> Type) e a | s -> f e a where
- getExitcodeBifunctor :: Getter s (ExitcodeBifunctor f e a)
class GetExitcodeBifunctor s f e a => HasExitcodeBifunctor s (f :: Type -> Type) e a | s -> f e a where
- exitcodeBifunctor :: Lens' s (ExitcodeBifunctor f e a)
class ReviewExitcodeBifunctor t (f :: Type -> Type) e a | t -> f e a where
- reviewExitcodeBifunctor :: Review t (ExitcodeBifunctor f e a)
class ReviewExitcodeBifunctor t f e a => AsExitcodeBifunctor t (f :: Type -> Type) e a | t -> f e a where
- _ExitcodeBifunctor :: Prism' t (ExitcodeBifunctor f e a)

Documentation

class GetExitcode s e (f :: Type -> Type) a | s -> e f a where Source #

Type class for values that can be viewed as an Exitcode.

>>> view getExitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: Exitcode' () String
Exitcode (Identity (Right "abc"))

Methods

getExitcode :: Getter s (Exitcode e f a) Source #

Instances

Instances details

GetExitcode (Exitcode e f a) e f a Source #	`>>>` `view getExitcode (mkExitSuccess' "abc" :: Exitcode' () String)`Exitcode (Identity (Right "abc"))
Instance details Defined in Control.Exitcode.Optics Methods getExitcode :: Getter (Exitcode e f a) (Exitcode e f a) Source #
GetExitcode (ExitcodeBifunctor f e a) e f a Source #	`>>>` `view getExitcode (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`Exitcode (Identity (Right "abc"))
Instance details Defined in Control.Exitcode.Optics Methods getExitcode :: Getter (ExitcodeBifunctor f e a) (Exitcode e f a) Source #

class GetExitcode s e f a => HasExitcode s e (f :: Type -> Type) a | s -> e f a where Source #

Type class for values with a lens into an Exitcode.

>>> view exitcode (mkExitSuccess' "abc" :: Exitcode' () String)
Exitcode (Identity (Right "abc"))

Methods

exitcode :: Lens' s (Exitcode e f a) Source #

Instances

Instances details

HasExitcode (Exitcode e f a) e f a Source #	`>>>` `view exitcode (mkExitSuccess' "abc" :: Exitcode' () String)`Exitcode (Identity (Right "abc"))
Instance details Defined in Control.Exitcode.Optics Methods exitcode :: Lens' (Exitcode e f a) (Exitcode e f a) Source #
HasExitcode (ExitcodeBifunctor f e a) e f a Source #	`>>>` `view exitcode (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`Exitcode (Identity (Right "abc")) `>>>` `set exitcode (mkExitFailure1' ()) (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`ExitcodeBifunctor (Exitcode (Identity (Left ((),NotZero True (Positive 1)))))
Instance details Defined in Control.Exitcode.Optics Methods exitcode :: Lens' (ExitcodeBifunctor f e a) (Exitcode e f a) Source #

class ReviewExitcode t e (f :: Type -> Type) a | t -> e f a where Source #

Type class for values that can be constructed from an Exitcode.

>>> review reviewExitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: Exitcode' () String
Exitcode (Identity (Right "abc"))

Methods

reviewExitcode :: Review t (Exitcode e f a) Source #

Instances

Instances details

ReviewExitcode (Exitcode e f a) e f a Source #	`>>>` `review reviewExitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: Exitcode' () String`Exitcode (Identity (Right "abc"))
Instance details Defined in Control.Exitcode.Optics Methods reviewExitcode :: Review (Exitcode e f a) (Exitcode e f a) Source #
ReviewExitcode (ExitcodeBifunctor f e a) e f a Source #	`>>>` `review reviewExitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: ExitcodeBifunctor' () String`ExitcodeBifunctor (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods reviewExitcode :: Review (ExitcodeBifunctor f e a) (Exitcode e f a) Source #

class ReviewExitcode t e f a => AsExitcode t e (f :: Type -> Type) a | t -> e f a where Source #

Type class for values with a prism into an Exitcode.

>>> preview _Exitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: Maybe (Exitcode' () String)
Just (Exitcode (Identity (Right "abc")))

Methods

_Exitcode :: Prism' t (Exitcode e f a) Source #

Instances

Instances details

AsExitcode (Exitcode e f a) e f a Source #	`>>>` `preview _Exitcode (mkExitSuccess' "abc" :: Exitcode' () String) :: Maybe (Exitcode' () String)`Just (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods _Exitcode :: Prism' (Exitcode e f a) (Exitcode e f a) Source #
AsExitcode (ExitcodeBifunctor f e a) e f a Source #	`>>>` `preview _Exitcode (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String) :: Maybe (Exitcode' () String)`Just (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods _Exitcode :: Prism' (ExitcodeBifunctor f e a) (Exitcode e f a) Source #

class GetExitcodeBifunctor s (f :: Type -> Type) e a | s -> f e a where Source #

Type class for values that can be viewed as an ExitcodeBifunctor.

>>> view getExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)
ExitcodeBifunctor (Exitcode (Identity (Right "abc")))

Methods

getExitcodeBifunctor :: Getter s (ExitcodeBifunctor f e a) Source #

Instances

Instances details

GetExitcodeBifunctor (Exitcode e f a) f e a Source #	`>>>` `view getExitcodeBifunctor (mkExitSuccess' "abc" :: Exitcode' () String)`ExitcodeBifunctor (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods getExitcodeBifunctor :: Getter (Exitcode e f a) (ExitcodeBifunctor f e a) Source #
GetExitcodeBifunctor (ExitcodeBifunctor f e a) f e a Source #	`>>>` `view getExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`ExitcodeBifunctor (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods getExitcodeBifunctor :: Getter (ExitcodeBifunctor f e a) (ExitcodeBifunctor f e a) Source #

class GetExitcodeBifunctor s f e a => HasExitcodeBifunctor s (f :: Type -> Type) e a | s -> f e a where Source #

Type class for values with a lens into an ExitcodeBifunctor.

>>> view exitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)
ExitcodeBifunctor (Exitcode (Identity (Right "abc")))

Methods

exitcodeBifunctor :: Lens' s (ExitcodeBifunctor f e a) Source #

Instances

Instances details

HasExitcodeBifunctor (Exitcode e f a) f e a Source #	`>>>` `view exitcodeBifunctor (mkExitSuccess' "abc" :: Exitcode' () String)`ExitcodeBifunctor (Exitcode (Identity (Right "abc"))) `>>>` `set exitcodeBifunctor (ExitcodeBifunctor (mkExitFailure1' ())) (mkExitSuccess' "abc" :: Exitcode' () String)`Exitcode (Identity (Left ((),NotZero True (Positive 1))))
Instance details Defined in Control.Exitcode.Optics Methods exitcodeBifunctor :: Lens' (Exitcode e f a) (ExitcodeBifunctor f e a) Source #
HasExitcodeBifunctor (ExitcodeBifunctor f e a) f e a Source #	`>>>` `view exitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`ExitcodeBifunctor (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods exitcodeBifunctor :: Lens' (ExitcodeBifunctor f e a) (ExitcodeBifunctor f e a) Source #

class ReviewExitcodeBifunctor t (f :: Type -> Type) e a | t -> f e a where Source #

Type class for values that can be constructed from an ExitcodeBifunctor.

>>> review reviewExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String) :: ExitcodeBifunctor' () String
ExitcodeBifunctor (Exitcode (Identity (Right "abc")))

Methods

reviewExitcodeBifunctor :: Review t (ExitcodeBifunctor f e a) Source #

Instances

Instances details

ReviewExitcodeBifunctor (Exitcode e f a) f e a Source #	`>>>` `review reviewExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String) :: Exitcode' () String`Exitcode (Identity (Right "abc"))
Instance details Defined in Control.Exitcode.Optics Methods reviewExitcodeBifunctor :: Review (Exitcode e f a) (ExitcodeBifunctor f e a) Source #
ReviewExitcodeBifunctor (ExitcodeBifunctor f e a) f e a Source #	`>>>` `review reviewExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String) :: ExitcodeBifunctor' () String`ExitcodeBifunctor (Exitcode (Identity (Right "abc")))
Instance details Defined in Control.Exitcode.Optics Methods reviewExitcodeBifunctor :: Review (ExitcodeBifunctor f e a) (ExitcodeBifunctor f e a) Source #

class ReviewExitcodeBifunctor t f e a => AsExitcodeBifunctor t (f :: Type -> Type) e a | t -> f e a where Source #

Type class for values with a prism into an ExitcodeBifunctor.

>>> preview _ExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)
Just (ExitcodeBifunctor (Exitcode (Identity (Right "abc"))))

Methods

_ExitcodeBifunctor :: Prism' t (ExitcodeBifunctor f e a) Source #

Instances

Instances details

AsExitcodeBifunctor (Exitcode e f a) f e a Source #	`>>>` `preview _ExitcodeBifunctor (mkExitSuccess' "abc" :: Exitcode' () String)`Just (ExitcodeBifunctor (Exitcode (Identity (Right "abc"))))
Instance details Defined in Control.Exitcode.Optics Methods _ExitcodeBifunctor :: Prism' (Exitcode e f a) (ExitcodeBifunctor f e a) Source #
AsExitcodeBifunctor (ExitcodeBifunctor f e a) f e a Source #	`>>>` `preview _ExitcodeBifunctor (ExitcodeBifunctor (mkExitSuccess' "abc") :: ExitcodeBifunctor' () String)`Just (ExitcodeBifunctor (Exitcode (Identity (Right "abc"))))
Instance details Defined in Control.Exitcode.Optics Methods _ExitcodeBifunctor :: Prism' (ExitcodeBifunctor f e a) (ExitcodeBifunctor f e a) Source #