Pandora.Paradigm.Structure.Some.Binary

Documentation

type Binary = Maybe <:.> Construction Wye

rebalance :: Chain a => ((Wye :. Construction Wye) := a) -> Nonempty Binary a

binary :: forall t a. (Traversable t, Chain a) => t a -> Binary a

data Biforked a

Constructors

Top

Leftward a

Rightward a

Instances

Covariant Biforked

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

(<$>) :: (a -> b) -> Biforked a -> Biforked b

comap :: (a -> b) -> Biforked a -> Biforked b

(<$) :: a -> Biforked b -> Biforked a

($>) :: Biforked a -> b -> Biforked b

void :: Biforked a -> Biforked ()

loeb :: Biforked (a <:= Biforked) -> Biforked a

(<&>) :: Biforked a -> (a -> b) -> Biforked b

(<$$>) :: Covariant u => (a -> b) -> ((Biforked :. u) := a) -> (Biforked :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Biforked :. (u :. v)) := a) -> (Biforked :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Biforked :. (u :. (v :. w))) := a) -> (Biforked :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => ((Biforked :. u) := a) -> (a -> b) -> (Biforked :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Biforked :. (u :. v)) := a) -> (a -> b) -> (Biforked :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Biforked :. (u :. (v :. w))) := a) -> (a -> b) -> (Biforked :. (u :. (v :. w))) := b

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate 'Up) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate ('Down 'Right)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate ('Down 'Left)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

data Vertical a

Constructors

Up a

Down a

Instances

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate 'Up) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate ('Down 'Right)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) ~> Morphing ('Rotate ('Down 'Left)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_U Covariant Covariant Identity (:*:) (Maybe <:.> Construction Wye))

Orphan instances

(forall a. Chain a) => Insertable Binary

Methods

(+=) :: a -> Binary a -> Binary a

Measurable 'Heighth Binary

Associated Types

type Measural 'Heighth Binary a

Methods

measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a

Measurable 'Heighth (Construction Wye)

Associated Types

type Measural 'Heighth (Construction Wye) a

Methods

measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a

(forall a. Chain a) => Insertable (Construction Wye)

Methods

(+=) :: a -> Construction Wye a -> Construction Wye a

Nullable Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a

(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary

Associated Types

type Focusing 'Root Binary a

Methods

focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a

Focusable ('Root :: Type -> Location Type) (Construction Wye)

Associated Types

type Focusing 'Root (Construction Wye) a

Methods

focusing :: Tagged 'Root (Construction Wye a) :-. Focusing 'Root (Construction Wye) a

Morphable ('Into Binary) (Construction Wye)

Associated Types

type Morphing ('Into Binary) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye)

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

Associated Types

type Substructural 'Right Binary :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Binary) :~. Substructural 'Right Binary

sub :: Binary :~. Substructural 'Right Binary

subview :: Binary ~> Substructural 'Right Binary

substitute :: (Substructural 'Right Binary a0 -> Substructural 'Right Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Right Binary a0 -> Binary a0 -> Binary a0

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

Associated Types

type Substructural 'Left Binary :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Binary) :~. Substructural 'Left Binary

sub :: Binary :~. Substructural 'Left Binary

subview :: Binary ~> Substructural 'Left Binary

substitute :: (Substructural 'Left Binary a0 -> Substructural 'Left Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Left Binary a0 -> Binary a0 -> Binary a0

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

Associated Types

type Substructural 'Right (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Construction Wye) :~. Substructural 'Right (Construction Wye)

sub :: Construction Wye :~. Substructural 'Right (Construction Wye)

subview :: Construction Wye ~> Substructural 'Right (Construction Wye)

substitute :: (Substructural 'Right (Construction Wye) a0 -> Substructural 'Right (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Right (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0

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

Associated Types

type Substructural 'Left (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Construction Wye) :~. Substructural 'Left (Construction Wye)

sub :: Construction Wye :~. Substructural 'Left (Construction Wye)

subview :: Construction Wye ~> Substructural 'Left (Construction Wye)

substitute :: (Substructural 'Left (Construction Wye) a0 -> Substructural 'Left (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Left (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0