Lens.Family.Complete

Documentation

class Full a where

Minimal complete definition

Nothing

Methods

trivial :: x -> a

trivial :: (Generic a, GFull (Rep a)) => x -> a

Instances

Full ()

Defined in Lens.Family.Complete

Methods

trivial :: x -> ()

Full a => Full (Either a b)

Defined in Lens.Family.Complete

Methods

trivial :: x -> Either a b

(Full a, Full b) => Full (a, b)

Defined in Lens.Family.Complete

Methods

trivial :: x -> (a, b)

class GFull f where

Methods

gtrivial :: x -> f a

Instances

GFull (U1 :: Type -> Type)

Defined in Lens.Family.Complete

Methods

gtrivial :: x -> U1 a

Full a => GFull (K1 i a :: Type -> Type)

Defined in Lens.Family.Complete

Methods

gtrivial :: x -> K1 i a a0

GFull a => GFull (a :+: b)

Defined in Lens.Family.Complete

Methods

gtrivial :: x -> (a :+: b) a0

(GFull a, GFull b) => GFull (a :*: b)

Defined in Lens.Family.Complete

Methods

gtrivial :: x -> (a :*: b) a0

GFull a => GFull (M1 i c a)

Defined in Lens.Family.Complete

Methods

gtrivial :: x -> M1 i c a a0

_cocase :: Full a => x -> a

Synonym for trivial, used to check if a copattern is complete

at :: ((() -> Identity b) -> s -> Identity t) -> (i -> b) -> (i -> s) -> i -> t

Copattern match on a Traversal

Re-exports

(&) :: a -> (a -> b) -> b infixl 1

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

>>> 5 & (+1) & show
"6"

Since: base-4.8.0.0

(&&&) :: Arrow a => a b c -> a b c' -> a b (c, c') infixr 3

Fanout: send the input to both argument arrows and combine their output.

The default definition may be overridden with a more efficient version if desired.