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 #
Methods
fasten :: List e -> Maybe > Zipper List e Source #
unfasten :: Zipper List e -> Nonempty List e Source #
Defined in Pandora.Paradigm.Structure.Some.Rose
type Breadcrumbs Rose :: Type -> Type Source #
fasten :: Rose e -> Maybe > Zipper Rose e Source #
unfasten :: Zipper Rose e -> Nonempty Rose e Source #
Defined in Pandora.Paradigm.Structure.Some.Binary
type Breadcrumbs Binary :: Type -> Type Source #
fasten :: Binary e -> Maybe > Zipper Binary e Source #
unfasten :: Zipper Binary e -> Nonempty Binary e Source #
type Topping List :: Type -> Type Source #
top :: ((Lens < Topping List) < List e) < e Source #
pop :: (State < List e) < Topping List e Source #
push :: e -> (State < List e) < e Source #
Defined in Pandora.Paradigm.Inventory.Some.Optics
type Lensally Exactly Maybe :: Type -> Type Source #
(>>>) :: Lens Exactly source between -> Lens Maybe between target -> Lens (Lensally Exactly Maybe) source target Source #
type Lensally Maybe Exactly :: Type -> Type Source #
(>>>) :: Lens Maybe source between -> Lens Exactly between target -> Lens (Lensally Maybe Exactly) 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 #
Defined in Pandora.Paradigm.Structure.Ability.Substructure
type Substance (i 'Branch) (Maybe <::> Construction t) :: Type -> Type Source #
substructure :: (Tagged (i 'Branch) <:.> (Maybe <::> Construction t)) @>>> Substance (i 'Branch) (Maybe <::> Construction t) Source #
sub :: (Maybe <::> Construction t) @>>> Substance (i 'Branch) (Maybe <::> Construction t) 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 #
(?=) :: Maybe a -> Maybe a -> r -> r -> r Source #
(==) :: List a -> List a -> Boolean Source #
(!=) :: List a -> List a -> Boolean Source #
(?=) :: List a -> List a -> r -> r -> r 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 #
(<-------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<-----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<---) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<--) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(-------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(------>) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(----->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(---->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(--->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(-->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
type Breadcrumbs (Comprehension Maybe) :: Type -> Type Source #
fasten :: Comprehension Maybe e -> Maybe > Zipper (Comprehension Maybe) e Source #
unfasten :: Zipper (Comprehension Maybe) e -> Nonempty (Comprehension Maybe) e Source #
type Topping (Construction Maybe) :: Type -> Type Source #
top :: ((Lens < Topping (Construction Maybe)) < Construction Maybe e) < e Source #
pop :: (State < Construction Maybe e) < Topping (Construction Maybe) e Source #
push :: e -> (State < Construction Maybe e) < e 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 (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 ('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 #
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) (Vector r) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r) 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) (Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List) Source #
type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Into Binary) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) 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 #
Defined in Pandora.Paradigm.Structure.Some.Splay
type Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
slide :: ((State < Construction (Maybe <:*:> Maybe) e) :> Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe))) >>> () 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 ('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 Wye) (Maybe <:*:> Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into Wye) <::> (Maybe <:*:> Maybe)) ~> Morphing ('Into Wye) (Maybe <:*:> Maybe) Source #
type Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
substructure :: (Tagged ('Right 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
type Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
substructure :: (Tagged ('Left 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
type Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
substructure :: (Tagged ('Focused 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
type Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
type Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
type Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> () Source #
type Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> () Source #
type Morphing ('Into List) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> (Tape > Construction Maybe)) ~> Morphing ('Into List) (Tape > Construction Maybe) 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 ('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 ('Rotate 'Right) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape > Construction Maybe) Source #
type Morphing ('Rotate 'Left) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape > Construction Maybe) Source #
type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List) Source #
type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List) Source #
type Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) :: Type -> Type Source #
morphing :: (Tagged ('Lookup 'Key) <::> ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)) ~> Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) Source #
type Morphing ('Into > Tape List) List :: Type -> Type Source #
morphing :: (Tagged ('Into > Tape List) <::> List) ~> Morphing ('Into > Tape List) List Source #
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 Sliding ('Right > 'Zig) Binary :: Type -> Type Source #
slide :: ((State < Binary e) :> Sliding ('Right > 'Zig) Binary) >>> () Source #
type Morphing ('Into > Comprehension Maybe) (Tape List) :: Type -> Type Source #
morphing :: (Tagged ('Into > Comprehension Maybe) <::> Tape List) ~> Morphing ('Into > Comprehension Maybe) (Tape List) Source #
type Morphing ('Into > Tape List) (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into > Tape List) <::> Construction Maybe) ~> Morphing ('Into > Tape List) (Construction Maybe) Source #
type Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > 'Right 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > 'Left 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) Source #
type Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged ('Into > Construction Maybe) <::> (Tape > Construction Maybe)) ~> Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) Source #
type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Maybe source target) Source #
Transform any traversable structure into a list linearize :: forall t a . Traversable (->) (->) t => t a -> List a linearize = TT . extract . (run (->) (State (Maybe :. Nonempty List >>> a)) % Nothing) . fold (Just .:.. Construct)
(->)
(+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a Source #
(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
(==<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
(===<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
(====<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
(=====<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
(======<<) :: (a -> Maybe b) -> Maybe a -> Maybe b 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 #
(<~~~~~~~) :: ((->) < Maybe a) < Primary Maybe a Source #
(<~~~~~~) :: ((->) < Maybe a) < Primary Maybe a Source #
(<~~~~~) :: ((->) < Maybe a) < Primary Maybe a Source #
(<~~~~) :: ((->) < Maybe a) < Primary Maybe a Source #
(<~~~) :: ((->) < Maybe a) < Primary Maybe a Source #
(<~~) :: ((->) < Maybe a) < Primary 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 Getting (Lens Maybe) e r Source #
get :: Getting (Lens Maybe) e r 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 Substance 'Rest List :: Type -> Type Source #
substructure :: (Tagged 'Rest <:.> List) @>>> Substance 'Rest List Source #
sub :: List @>>> Substance 'Rest List Source #
type Substance 'Root List :: Type -> Type Source #
substructure :: (Tagged 'Root <:.> List) @>>> Substance 'Root List Source #
sub :: List @>>> Substance 'Root List Source #
type Morphing 'Push (Construction Maybe) :: Type -> Type Source #
morphing :: (Tagged 'Push <::> Construction Maybe) ~> Morphing 'Push (Construction Maybe) Source #
type Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
substructure :: (Tagged 'Siblings <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
type Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
substructure :: (Tagged 'Children <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
type Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) Source #
type Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
type Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
substructure :: (Tagged 'Children <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) Source #
type Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> () Source #
type Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> () Source #
type Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> () Source #
type Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> () Source #
type Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type Source #
slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> () Source #
(<-|-) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|--) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|---) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|----) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|-----) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|------) :: (a -> b) -> Maybe a -> Maybe b Source #
(<-|-------) :: (a -> b) -> Maybe a -> Maybe b 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 (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b) Source #
(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b) Source #
(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b) Source #
(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b) Source #
(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u 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) -> Maybe a -> u (Maybe 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) -> Maybe a -> u (Maybe 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) -> Maybe a -> u (Maybe 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) -> Tape List a -> u (Tape List b) Source #
(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b) Source #
type Optional t = Adaptable t (->) Maybe Source #
nothing :: Optional t => t a Source #