Pandora.Paradigm.Primary.Functor.Maybe
data Maybe a Source #
Constructors
Defined in Pandora.Paradigm.Structure.Some.List
Associated Types
type Breadcrumbs List :: Type -> Type Source #
Defined in Pandora.Paradigm.Inventory.Optics
type Lensally Identity Maybe :: Type -> Type Source #
Methods
(>>>) :: Lens Identity source between -> Lens Maybe between target -> Lens (Lensally Identity Maybe) source target Source #
type Lensally Maybe Identity :: Type -> Type Source #
(>>>) :: Lens Maybe source between -> Lens Identity between target -> Lens (Lensally Maybe Identity) source target Source #
Defined in Pandora.Paradigm.Primary.Functor.Maybe
unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> Maybe a Source #
unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Maybe a Source #
reduce :: (a -> r -> r) -> r -> Maybe a -> r Source #
resolve :: (a -> r) -> r -> Maybe a -> r Source #
Defined in Pandora.Paradigm.Structure
perhaps :: Lens Maybe (Maybe source) target Source #
perhaps :: Lens Maybe (Maybe a) a Source #
reduce :: (a -> r -> r) -> r -> ((Maybe :. t) := a) -> r Source #
resolve :: (a -> r) -> r -> ((Maybe :. t) := a) -> r Source #
(+) :: Maybe a -> Maybe a -> Maybe a Source #
(+) :: List a -> List a -> List a Source #
zero :: Maybe a Source #
zero :: List a Source #
(\/) :: Maybe a -> Maybe a -> Maybe a Source #
(/\) :: Maybe a -> Maybe a -> Maybe a Source #
(==) :: Maybe a -> Maybe a -> Boolean Source #
(!=) :: Maybe a -> Maybe a -> Boolean Source #
(==) :: List a -> List a -> Boolean Source #
(!=) :: List a -> List a -> Boolean Source #
(<=>) :: Maybe a -> Maybe a -> Ordering Source #
(<) :: Maybe a -> Maybe a -> Boolean Source #
(<=) :: Maybe a -> Maybe a -> Boolean Source #
(>) :: Maybe a -> Maybe a -> Boolean Source #
(>=) :: Maybe a -> Maybe a -> Boolean Source #
(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c Source #
identity :: Lens Maybe a a Source #
(#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
type Breadcrumbs (Construction Maybe) :: Type -> Type Source #
type Breadcrumbs (Comprehension Maybe) :: Type -> Type Source #
null :: forall (a :: k). (Predicate :. Maybe) := a Source #
null :: forall (a :: k). (Predicate :. List) := a Source #
Defined in Pandora.Paradigm.Structure.Some.Rose
null :: forall (a :: k). (Predicate :. Rose) := a Source #
Defined in Pandora.Paradigm.Structure.Some.Binary
null :: forall (a :: k). (Predicate :. Binary) := a Source #
mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) --> Maybe (a :+: b) Source #
mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) --> Maybe (a :*: b) Source #
mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) <-- Maybe (a :*: b) Source #
type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List :: Type -> Type Source #
morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> List) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List Source #
Defined in Pandora.Paradigm.Primary
type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type Source #
morphing :: (Tagged ('Into (Flip Conclusion e)) <::> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe Source #
type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type Source #
morphing :: (Tagged ('Into (Conclusion e)) <::> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe Source #
type Morphing ('Delete 'All) List :: Type -> Type Source #
morphing :: (Tagged ('Delete 'All) <::> List) ~> Morphing ('Delete 'All) List Source #
type Morphing ('Delete 'First) List :: Type -> Type Source #
morphing :: (Tagged ('Delete 'First) <::> List) ~> Morphing ('Delete 'First) List Source #
type Morphing ('Find 'Element) List :: Type -> Type Source #
morphing :: (Tagged ('Find 'Element) <::> List) ~> Morphing ('Find 'Element) List Source #
type Morphing ('Into (o ds)) Binary :: Type -> Type Source #
morphing :: (Tagged ('Into (o ds)) <::> Binary) ~> Morphing ('Into (o ds)) Binary Source #
type Morphing ('Into ('Left Maybe)) Wye :: Type -> Type Source #
morphing :: (Tagged ('Into ('Left Maybe)) <::> Wye) ~> Morphing ('Into ('Left Maybe)) Wye Source #
type Morphing ('Into ('Right Maybe)) Wye :: Type -> Type Source #
morphing :: (Tagged ('Into ('Right Maybe)) <::> Wye) ~> Morphing ('Into ('Right Maybe)) Wye Source #
Defined in Pandora.Paradigm.Structure.Some.Splay
type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Right 'Zig)) <::> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary Source #
type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Left 'Zig)) <::> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary Source #
type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <::> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary Source #
type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <::> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary Source #
type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <::> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary Source #
type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <::> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary Source #
type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> Construction Maybe) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) Source #
Defined in Pandora.Paradigm.Primary.Linear.Vector
type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type Source #
morphing :: (Tagged ('Into (Construction Maybe)) <::> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r) Source #
type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type Source #
morphing :: (Tagged ('Into Maybe) <::> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e) Source #
type Morphing ('Into List) (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe) Source #
type Morphing ('Into List) (Vector r) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r) Source #
type Morphing ('Into Binary) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into Binary) <::> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye) Source #
type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Find 'Element) <::> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe) Source #
type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type Source #
morphing :: (Tagged ('Into ('There Maybe)) <::> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2) Source #
type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type Source #
morphing :: (Tagged ('Into ('This Maybe)) <::> These e2) ~> Morphing ('Into ('This Maybe)) (These e2) Source #
type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <::> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <::> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <::> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type Source #
morphing :: (Tagged ('Lookup 'Key) <::> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) Source #
type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type Source #
morphing :: (Tagged ('Lookup 'Key) <::> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key) Source #
type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type Source #
morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k) Source #
type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type Source #
morphing :: (Tagged ('Vary 'Element) <::> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k) Source #
type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type Source #
morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k) Source #
type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Here Maybe)) <::> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2) Source #
type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type Source #
morphing :: (Tagged ('Into ('That Maybe)) <::> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2) Source #
type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) Source #
type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) Source #
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into Wye) <::> ((Maybe <:.:> Maybe) := (:*:))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into (Construction Maybe)) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) Source #
type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into (Comprehension Maybe)) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) Source #
type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) Source #
type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) Source #
type Morphing ('Into List) (Construction Maybe <::> Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> (Construction Maybe <::> Maybe)) ~> Morphing ('Into List) (Construction Maybe <::> Maybe) Source #
type Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) Source #
type Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) Source #
type Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) Source #
type Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) Source #
type Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Up) <::> ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Right)) <::> ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Left)) <::> ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) Source #
type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Maybe source target) Source #
(+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a Source #
(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
type Primary Maybe a Source #
run :: Maybe a -> Primary Maybe a Source #
unite :: Primary Maybe a -> Maybe a Source #
(!) :: Maybe a -> Primary Maybe a Source #
(||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary Maybe a -> Primary u b) -> Maybe a -> u b Source #
(=||) :: (Semigroupoid (->), Interpreted (->) u) => (Maybe a -> u b) -> Primary Maybe a -> Primary u b Source #
(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary Maybe a -> Primary u b) -> (j := Maybe a) -> (j := u b) Source #
(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Maybe a -> u b) -> (j := Primary Maybe a) -> (j := Primary u b) Source #
wrap :: forall (u :: Type -> Type) a. Pointable u => Maybe a -> (Maybe :> u) a Source #
type Morphing 'Pop List :: Type -> Type Source #
morphing :: (Tagged 'Pop <::> List) ~> Morphing 'Pop List Source #
type Morphing 'Push List :: Type -> Type Source #
morphing :: (Tagged 'Push <::> List) ~> Morphing 'Push List Source #
type Morphing 'Insert Binary :: Type -> Type Source #
morphing :: (Tagged 'Insert <::> Binary) ~> Morphing 'Insert Binary Source #
type Available 'Tail List :: Type -> Type Source #
type Substance 'Tail List :: Type -> Type Source #
substructure :: ((Tagged 'Tail <:.> List) #=@ Substance 'Tail List) := Available 'Tail List Source #
sub :: (List #=@ Substance 'Tail List) := Available 'Tail List Source #
type Available 'Root List :: Type -> Type Source #
type Substance 'Root List :: Type -> Type Source #
substructure :: ((Tagged 'Root <:.> List) #=@ Substance 'Root List) := Available 'Root List Source #
sub :: (List #=@ Substance 'Root List) := Available 'Root List Source #
type Available 'Right Binary :: Type -> Type Source #
type Substance 'Right Binary :: Type -> Type Source #
substructure :: ((Tagged 'Right <:.> Binary) #=@ Substance 'Right Binary) := Available 'Right Binary Source #
sub :: (Binary #=@ Substance 'Right Binary) := Available 'Right Binary Source #
type Available 'Left Binary :: Type -> Type Source #
type Substance 'Left Binary :: Type -> Type Source #
substructure :: ((Tagged 'Left <:.> Binary) #=@ Substance 'Left Binary) := Available 'Left Binary Source #
sub :: (Binary #=@ Substance 'Left Binary) := Available 'Left Binary Source #
type Morphing 'Push (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged 'Push <::> Construction Maybe) ~> Morphing 'Push (Construction Maybe) Source #
type Available 'Root (Construction Maybe) :: Type -> Type Source #
type Substance 'Root (Construction Maybe) :: Type -> Type Source #
substructure :: ((Tagged 'Root <:.> Construction Maybe) #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe) Source #
sub :: (Construction Maybe #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe) Source #
type Available 'Tail (Construction Maybe) :: Type -> Type Source #
type Substance 'Tail (Construction Maybe) :: Type -> Type Source #
substructure :: ((Tagged 'Tail <:.> Construction Maybe) #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe) Source #
sub :: (Construction Maybe #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe) Source #
type Available 'Tail (Construction List) :: Type -> Type Source #
type Substance 'Tail (Construction List) :: Type -> Type Source #
substructure :: ((Tagged 'Tail <:.> Construction List) #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List) Source #
sub :: (Construction List #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List) Source #
type Available 'Root (Construction List) :: Type -> Type Source #
type Substance 'Root (Construction List) :: Type -> Type Source #
substructure :: ((Tagged 'Root <:.> Construction List) #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List) Source #
sub :: (Construction List #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List) Source #
(<-|-) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b) Source #
(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Maybe) => (a -> b) -> Maybe (u (v a)) -> Maybe (u (v b)) Source #
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Maybe a -> u (Maybe b) Source #
(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> u (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b) Source #
(<<=) :: (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b Source #
type Optional t = Adaptable t (->) Maybe Source #
nothing :: Optional t => t a Source #