Module

Halogen.Component.ChildPath

Package
purescript-halogen
Repository
slamdata/purescript-halogen

#ChildPath Source

data ChildPath f f' p p'

Represents a path through Either and Coproduct types for the state, query algebra, and slots of a component. Used when installing children of different types within a single parent component.

Constructors

#compose Source

compose :: forall f g h p q r. ChildPath g h q r -> ChildPath f g p q -> ChildPath f h p r

Composes two paths.

#cp1 Source

cp1 :: forall f1 g p1 q. ChildPath f1 (f1 <\/> g) p1 (p1 \/ q)

A ChildPath for the 1st component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp10 Source

cp10 :: forall f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 g p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 q. ChildPath f10 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> f6 <\/> f7 <\/> f8 <\/> f9 <\/> f10 <\/> g) p10 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ p6 \/ p7 \/ p8 \/ p9 \/ p10 \/ q)

A ChildPath for the 10th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp2 Source

cp2 :: forall f1 f2 g p1 p2 q. ChildPath f2 (f1 <\/> f2 <\/> g) p2 (p1 \/ p2 \/ q)

A ChildPath for the 2nd component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp3 Source

cp3 :: forall f1 f2 f3 g p1 p2 p3 q. ChildPath f3 (f1 <\/> f2 <\/> f3 <\/> g) p3 (p1 \/ p2 \/ p3 \/ q)

A ChildPath for the 3rd component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp4 Source

cp4 :: forall f1 f2 f3 f4 g p1 p2 p3 p4 q. ChildPath f4 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> g) p4 (p1 \/ p2 \/ p3 \/ p4 \/ q)

A ChildPath for the 4th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp5 Source

cp5 :: forall f1 f2 f3 f4 f5 g p1 p2 p3 p4 p5 q. ChildPath f5 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> g) p5 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ q)

A ChildPath for the 5th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp6 Source

cp6 :: forall f1 f2 f3 f4 f5 f6 g p1 p2 p3 p4 p5 p6 q. ChildPath f6 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> f6 <\/> g) p6 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ p6 \/ q)

A ChildPath for the 6th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp7 Source

cp7 :: forall f1 f2 f3 f4 f5 f6 f7 g p1 p2 p3 p4 p5 p6 p7 q. ChildPath f7 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> f6 <\/> f7 <\/> g) p7 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ p6 \/ p7 \/ q)

A ChildPath for the 7th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp8 Source

cp8 :: forall f1 f2 f3 f4 f5 f6 f7 f8 g p1 p2 p3 p4 p5 p6 p7 p8 q. ChildPath f8 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> f6 <\/> f7 <\/> f8 <\/> g) p8 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ p6 \/ p7 \/ p8 \/ q)

A ChildPath for the 8th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cp9 Source

cp9 :: forall f1 f2 f3 f4 f5 f6 f7 f8 f9 g p1 p2 p3 p4 p5 p6 p7 p8 p9 q. ChildPath f9 (f1 <\/> f2 <\/> f3 <\/> f4 <\/> f5 <\/> f6 <\/> f7 <\/> f8 <\/> f9 <\/> g) p9 (p1 \/ p2 \/ p3 \/ p4 \/ p5 \/ p6 \/ p7 \/ p8 \/ p9 \/ q)

A ChildPath for the 9th component defined using a Either.Nested and Coproduct.Nested representation for the sum.

#cpI Source

cpI :: forall f p. ChildPath f f p p

An identity ChildPath.

#cpL Source

cpL :: forall f g p q. ChildPath f (f <\/> g) p (p \/ q)

A ChildPath that goes to the left.

#cpR Source

cpR :: forall f g p q. ChildPath f (g <\/> f) p (q \/ p)

A ChildPath that goes to the right.

#injQuery Source

injQuery :: forall f f' p p'. ChildPath f f' p p' -> f ~> f'

Uses a ChildPath definition to get a query algebra value of type f' from a value of type f. Used internally by Halogen.

#injSlot Source

injSlot :: forall f f' p p'. ChildPath f f' p p' -> p -> p'

Uses a ChildPath definition to get a slot value of type p' from a value of type p. Used internally by Halogen.

#prjQuery Source

prjQuery :: forall f f' p p' a. ChildPath f f' p p' -> f' a -> Maybe (f a)

Uses a ChildPath to attempt to get a query algebra value of type f from a value of type f'. Used internally by Halogen.

#prjSlot Source

prjSlot :: forall f f' p p'. ChildPath f f' p p' -> p' -> Maybe p

Uses a ChildPath definition to get a slot value of type p' from a value of type p. Used internally by Halogen.

#(:>) Source

Operator alias for Halogen.Component.ChildPath.compose (left-associative / precedence 4)

Re-exports from Halogen.Data.Prism

#_Either9 Source

_Either9 :: forall a b c d e f g h i z. Prism' (a \/ b \/ c \/ d \/ e \/ f \/ g \/ h \/ i \/ z) i

#_Either8 Source

_Either8 :: forall a b c d e f g h z. Prism' (a \/ b \/ c \/ d \/ e \/ f \/ g \/ h \/ z) h

#_Either7 Source

_Either7 :: forall a b c d e f g z. Prism' (a \/ b \/ c \/ d \/ e \/ f \/ g \/ z) g

#_Either6 Source

_Either6 :: forall a b c d e f z. Prism' (a \/ b \/ c \/ d \/ e \/ f \/ z) f

#_Either5 Source

_Either5 :: forall a b c d e z. Prism' (a \/ b \/ c \/ d \/ e \/ z) e

#_Either4 Source

_Either4 :: forall a b c d z. Prism' (a \/ b \/ c \/ d \/ z) d

#_Either3 Source

_Either3 :: forall a b c z. Prism' (a \/ b \/ c \/ z) c

#_Either2 Source

_Either2 :: forall a b z. Prism' (a \/ b \/ z) b

#_Either10 Source

_Either10 :: forall a b c d e f g h i j z. Prism' (a \/ b \/ c \/ d \/ e \/ f \/ g \/ h \/ i \/ j \/ z) j

#_Either1 Source

_Either1 :: forall a z. Prism' (a \/ z) a

#_Coproduct9 Source

_Coproduct9 :: forall a b c d z e f g h i x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> f <\/> g <\/> h <\/> i <\/> z) i x

#_Coproduct8 Source

_Coproduct8 :: forall a b c d z e f g h x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> f <\/> g <\/> h <\/> z) h x

#_Coproduct7 Source

_Coproduct7 :: forall a b c d z e f g x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> f <\/> g <\/> z) g x

#_Coproduct6 Source

_Coproduct6 :: forall a b c d z e f x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> f <\/> z) f x

#_Coproduct5 Source

_Coproduct5 :: forall a b c d z e x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> z) e x

#_Coproduct4 Source

_Coproduct4 :: forall a b c d z x. Prism1' (a <\/> b <\/> c <\/> d <\/> z) d x

#_Coproduct3 Source

_Coproduct3 :: forall a b c z x. Prism1' (a <\/> b <\/> c <\/> z) c x

#_Coproduct2 Source

_Coproduct2 :: forall a b z x. Prism1' (a <\/> b <\/> z) b x

#_Coproduct10 Source

_Coproduct10 :: forall a b c d z e f g h i j x. Prism1' (a <\/> b <\/> c <\/> d <\/> e <\/> f <\/> g <\/> h <\/> i <\/> j <\/> z) j x

#_Coproduct1 Source

_Coproduct1 :: forall a z x. Prism1' (a <\/> z) a x

#type (\/) Source

Operator alias for Data.Either.Either (right-associative / precedence 6)

#type (<\/>) Source

Operator alias for Data.Functor.Coproduct.Coproduct (right-associative / precedence 6)