Pandora.Paradigm.Structure.Some.Binary

Documentation

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

Orphan instances

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

Associated Types

type Substance ('Right 'Branch) Binary :: Type -> Type

Methods

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

sub :: Binary @>>> Substance ('Right 'Branch) Binary

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

Associated Types

type Substance ('Left 'Branch) Binary :: Type -> Type

Methods

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

sub :: Binary @>>> Substance ('Left 'Branch) Binary

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)

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 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)