Idris2Doc : Control.Arrow

Control.Arrow

(&&&) : Arrowarr => arrab -> arrab' -> arra (b, b')

Fixity Declaration: infixr operator, level 3
(***) : Arrowarr => arrab -> arra'b' -> arr (a, a') (b, b')

Fixity Declaration: infixr operator, level 3
(+++) : ArrowChoicearr => arrab -> arrcd -> arr (Eitherac) (Eitherbd)

Fixity Declaration: infixr operator, level 2
(<++>) : ArrowPlusarr => arrab -> arrab -> arrab

Fixity Declaration: infixr operator, level 5
Arrow : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: Category arr
Methods:
arrow : (a -> b) -> arrab
first : arrab -> arr _ _
second : arrab -> arr _ _
(***) : arrab -> arra'b' -> arr _ _
(&&&) : arrab -> arrab' -> arra _

Implementations:
ArrowMorphism
Monadm => Arrow (Kleislimorphismm)
ArrowApply : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: Arrow arr
Methods:
app : arr _ b

Implementation: 
Monadm => ArrowApply (Kleislimorphismm)
ArrowChoice : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: Arrow arr
Methods:
left : arrab -> arr (Eitherac) (Eitherbc)
right : arrab -> arr (Eitherca) (Eithercb)
(+++) : arrab -> arrcd -> arr (Eitherac) (Eitherbd)
(\|/) : arrab -> arrcb -> arr (Eitherac) b

Implementation: 
Monadm => ArrowChoice (Kleislimorphismm)
ArrowLoop : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: Arrow arr
Methods:
loop : arr (Pairac) (Pairbc) -> arrab
ArrowMonad : (Type -> Type -> Type) -> Type -> Type
Totality: total
Constructor: 
MkArrowMonad : arr (the Type Unit) a -> ArrowMonadarra
ArrowPlus : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: ArrowZero arr
Methods:
(<++>) : arrab -> arrab -> arrab
ArrowZero : (Type -> Type -> Type) -> Type
Parameters: arr
Constraints: Arrow arr
Methods:
zeroArrow : arrab

Implementation: 
ArrowPlusarr -> ArrowZeroarr
(\|/) : ArrowChoicearr => arrab -> arrcb -> arr (Eitherac) b

Fixity Declaration: infixr operator, level 2
app : ArrowApplyarr => arr (arrab, a) b
arrow : Arrowarr => (a -> b) -> arrab
first : Arrowarr => arrab -> arr (a, c) (b, c)
left : ArrowChoicearr => arrab -> arr (Eitherac) (Eitherbc)
loop : ArrowLooparr => arr (a, c) (b, c) -> arrab
right : ArrowChoicearr => arrab -> arr (Eitherca) (Eithercb)
runArrowMonad : ArrowMonadarra -> arr (the Type Unit) a
second : Arrowarr => arrab -> arr (c, a) (c, b)
zeroArrow : ArrowZeroarr => arrab