Pandora.Paradigm.Structure.Some.Binary
Contents
type Binary = Maybe <:.> Construction Wye Source #
rebalance :: Chain a => ((Wye :. Construction Wye) := a) -> Nonempty Binary a Source #
binary :: forall t a. (Traversable t, Chain a) => t a -> Binary a Source #
data Biforked a Source #
Constructors
Defined in Pandora.Paradigm.Structure.Some.Binary
Methods
(<$>) :: (a -> b) -> Biforked a -> Biforked b Source #
comap :: (a -> b) -> Biforked a -> Biforked b Source #
(<$) :: a -> Biforked b -> Biforked a Source #
($>) :: Biforked a -> b -> Biforked b Source #
void :: Biforked a -> Biforked () Source #
loeb :: Biforked (a <:= Biforked) -> Biforked a Source #
(<&>) :: Biforked a -> (a -> b) -> Biforked b Source #
(<$$>) :: Covariant u => (a -> b) -> ((Biforked :. u) := a) -> (Biforked :. u) := b Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Biforked :. (u :. v)) := a) -> (Biforked :. (u :. v)) := b Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Biforked :. (u :. (v :. w))) := a) -> (Biforked :. (u :. (v :. w))) := b Source #
(<&&>) :: Covariant u => ((Biforked :. u) := a) -> (a -> b) -> (Biforked :. u) := b Source #
(<&&&>) :: (Covariant u, Covariant v) => ((Biforked :. (u :. v)) := a) -> (a -> b) -> (Biforked :. (u :. v)) := b Source #
(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Biforked :. (u :. (v :. w))) := a) -> (a -> b) -> (Biforked :. (u :. (v :. w))) := b Source #
Associated Types
type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type Source #
morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
type Bifurcation = Biforked <:.> Construction Biforked Source #
type Bicursor = (Identity <:.:> Binary) := (:*:) Source #
data Vertical a Source #
type Measural 'Heighth Binary a Source #
measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a Source #
type Measural 'Heighth (Construction Wye) a Source #
measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a Source #
null :: forall (a :: k). (Predicate :. Binary) := a Source #
type Focusing 'Root Binary a Source #
focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a Source #
type Focusing 'Root (Construction Wye) a Source #
focusing :: Tagged 'Root (Construction Wye a) :-. Focusing 'Root (Construction Wye) a Source #
type Morphing ('Into Binary) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye) Source #
type Morphing 'Insert Binary :: Type -> Type Source #
morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary Source #
type Substructural 'Right Binary :: Type -> Type Source #
substructure :: (Tagged 'Right <:.> Binary) :~. Substructural 'Right Binary Source #
sub :: Binary :~. Substructural 'Right Binary Source #
subview :: Binary ~> Substructural 'Right Binary Source #
substitute :: (Substructural 'Right Binary a0 -> Substructural 'Right Binary a0) -> Binary a0 -> Binary a0 Source #
subplace :: Substructural 'Right Binary a0 -> Binary a0 -> Binary a0 Source #
type Substructural 'Left Binary :: Type -> Type Source #
substructure :: (Tagged 'Left <:.> Binary) :~. Substructural 'Left Binary Source #
sub :: Binary :~. Substructural 'Left Binary Source #
subview :: Binary ~> Substructural 'Left Binary Source #
substitute :: (Substructural 'Left Binary a0 -> Substructural 'Left Binary a0) -> Binary a0 -> Binary a0 Source #
subplace :: Substructural 'Left Binary a0 -> Binary a0 -> Binary a0 Source #
type Morphing 'Insert (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged 'Insert <:.> Construction Wye) ~> Morphing 'Insert (Construction Wye) Source #
type Substructural 'Right (Construction Wye) :: Type -> Type Source #
substructure :: (Tagged 'Right <:.> Construction Wye) :~. Substructural 'Right (Construction Wye) Source #
sub :: Construction Wye :~. Substructural 'Right (Construction Wye) Source #
subview :: Construction Wye ~> Substructural 'Right (Construction Wye) Source #
substitute :: (Substructural 'Right (Construction Wye) a0 -> Substructural 'Right (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0 Source #
subplace :: Substructural 'Right (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0 Source #
type Substructural 'Left (Construction Wye) :: Type -> Type Source #
substructure :: (Tagged 'Left <:.> Construction Wye) :~. Substructural 'Left (Construction Wye) Source #
sub :: Construction Wye :~. Substructural 'Left (Construction Wye) Source #
subview :: Construction Wye ~> Substructural 'Left (Construction Wye) Source #
substitute :: (Substructural 'Left (Construction Wye) a0 -> Substructural 'Left (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0 Source #
subplace :: Substructural 'Left (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0 Source #