Data.Alternative

Definitions

atLeast : Alternative f => a -> f a -> f a

Totality: total
Visibility: public export

optional : Alternative f => f a -> f (Maybe a)

Totality: total
Visibility: public export

whenT : Alternative f => Bool -> Lazy a -> f a

Totality: total
Visibility: public export

whenTs : Alternative f => Bool -> f a -> f a

Totality: total
Visibility: public export

whenJ : Alternative f => Maybe a -> (a -> b) -> f b

Totality: total
Visibility: public export

whenJs : Alternative f => Maybe a -> (a -> f b) -> f b

Totality: total
Visibility: public export

foldAlt : Alternative f => (a -> f b) -> List a -> f b

Totality: total
Visibility: public export

foldAlt' : Alternative f => List a -> (a -> f b) -> f b

Totality: total
Visibility: public export