Fresnel.Optional

Optionals

type Optional s t a b = forall p. IsOptional p => Optic p s t a b

type Optional' s a = Optional s s a a

class (IsLens p, IsPrism p) => IsOptional p

Instances

Monad m => IsOptional (Kleisli m)

Defined in Fresnel.Optional.Internal

Functor f => IsOptional (OptionalStar f)

Defined in Fresnel.Optional.Internal

IsOptional ((->) :: Type -> Type -> Type)

Defined in Fresnel.Optional.Internal

Monoid r => IsOptional (Forget r :: Type -> Type -> Type)

Defined in Fresnel.Optional.Internal

Applicative f => IsOptional (Star f)

Defined in Fresnel.Optional.Internal

IsOptional (UnpackedOptional a b)

Defined in Fresnel.Optional

Construction

optional :: (s -> Either t a) -> (s -> b -> t) -> Optional s t a b

optional' :: (s -> Maybe a) -> (s -> b -> s) -> Optional s s a b

Elimination

matching :: Optional s t a b -> s -> Either t a

matching' :: Optional s t a b -> s -> Maybe a

withOptional :: Optional s t a b -> ((s -> Either t a) -> (s -> b -> t) -> r) -> r

traverseOf :: Functor f => Optional s t a b -> (forall r. r -> f r) -> (a -> f b) -> s -> f t

is :: Optional s t a b -> s -> Bool

isn't :: Optional s t a b -> s -> Bool

Unpacked

newtype UnpackedOptional a b s t

Constructors

UnpackedOptional

Fields

• withUnpackedOptional :: forall r. ((s -> Either t a) -> (s -> b -> t) -> r) -> r

Instances

Choice (UnpackedOptional a b)

Defined in Fresnel.Optional

Methods

left' :: UnpackedOptional a b a0 b0 -> UnpackedOptional a b (Either a0 c) (Either b0 c)

right' :: UnpackedOptional a b a0 b0 -> UnpackedOptional a b (Either c a0) (Either c b0)

Strong (UnpackedOptional a b)

Defined in Fresnel.Optional

Methods

first' :: UnpackedOptional a b a0 b0 -> UnpackedOptional a b (a0, c) (b0, c)

second' :: UnpackedOptional a b a0 b0 -> UnpackedOptional a b (c, a0) (c, b0)

Profunctor (UnpackedOptional a b)

Defined in Fresnel.Optional

Methods

dimap :: (a0 -> b0) -> (c -> d) -> UnpackedOptional a b b0 c -> UnpackedOptional a b a0 d

lmap :: (a0 -> b0) -> UnpackedOptional a b b0 c -> UnpackedOptional a b a0 c

rmap :: (b0 -> c) -> UnpackedOptional a b a0 b0 -> UnpackedOptional a b a0 c

(#.) :: forall a0 b0 c q. Coercible c b0 => q b0 c -> UnpackedOptional a b a0 b0 -> UnpackedOptional a b a0 c

(.#) :: forall a0 b0 c q. Coercible b0 a0 => UnpackedOptional a b b0 c -> q a0 b0 -> UnpackedOptional a b a0 c

IsIso (UnpackedOptional a b)

Defined in Fresnel.Optional

IsPrism (UnpackedOptional a b)

Defined in Fresnel.Optional

IsLens (UnpackedOptional a b)

Defined in Fresnel.Optional

IsOptional (UnpackedOptional a b)

Defined in Fresnel.Optional

unpackedOptional :: (s -> Either t a) -> (s -> b -> t) -> UnpackedOptional a b s t