Module

Halogen.Data.Prism

#Prism1' 

type Prism1' f g a = Prism' (f a) (g a)

#type (\/)

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

#type (<\/>)

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

#_Either1 

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

#_Coproduct1 

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

#_Either2 

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

#_Coproduct2 

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

#_Either3 

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

#_Coproduct3 

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

#_Either4 

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

#_Coproduct4 

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

#_Either5 

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

#_Coproduct5 

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

#_Either6 

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

#_Coproduct6 

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

#_Either7 

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

#_Coproduct7 

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

#_Either8 

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

#_Coproduct8 

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

#_Either9 

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

#_Coproduct9 

_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

#_Either10 

_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

#_Coproduct10 

_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

Modules