Pandora.Paradigm.Structure.Some.Binary

Documentation

type Binary = Maybe <::> Construction (Maybe <:*:> Maybe)

leaf :: a :=> Nonempty Binary

left :: forall k1 k2 a (ct :: k1) (cu :: k2). a -> T_U ct cu (:*:) Maybe Maybe a

right :: forall k1 k2 a (ct :: k1) (cu :: k2). a -> T_U ct cu (:*:) Maybe Maybe a

both :: forall k1 k2 a (ct :: k1) (cu :: k2). a -> a -> T_U ct cu (:*:) Maybe Maybe a

end :: forall k1 k2 (ct :: k1) (cu :: k2) a. T_U ct cu (:*:) Maybe Maybe a

Orphan instances

Morphable ('Into Binary) (Construction (Maybe <:*:> Maybe))

Associated Types

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe))

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k)

Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Associated Types

type Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)) ~> Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Substructure ('Right :: a -> Wye a) Binary

Associated Types

type Substance 'Right Binary :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Binary) @>>> Substance 'Right Binary

sub :: Binary @>>> Substance 'Right Binary

Substructure ('Left :: a -> Wye a) Binary

Associated Types

type Substance 'Left Binary :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Binary) @>>> Substance 'Left Binary

sub :: Binary @>>> Substance 'Left Binary

Substructure ('Root :: a -> Segment a) (Construction (Maybe <:*:> Maybe))

Associated Types

type Substance 'Root (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> Construction (Maybe <:*:> Maybe)) @>>> Substance 'Root (Construction (Maybe <:*:> Maybe))

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Root (Construction (Maybe <:*:> Maybe))

Substructure ('Right :: a -> Wye a) (Construction (Maybe <:*:> Maybe))

Associated Types

type Substance 'Right (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Construction (Maybe <:*:> Maybe)) @>>> Substance 'Right (Construction (Maybe <:*:> Maybe))

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Right (Construction (Maybe <:*:> Maybe))

Substructure ('Left :: a -> Wye a) (Construction (Maybe <:*:> Maybe))

Associated Types

type Substance 'Left (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Construction (Maybe <:*:> Maybe)) @>>> Substance 'Left (Construction (Maybe <:*:> Maybe))

sub :: Construction (Maybe <:*:> Maybe) @>>> Substance 'Left (Construction (Maybe <:*:> Maybe))