Haskus.Utils.Flow

type Flow m l

type IOV l

class MonadIO m

class MonadInIO m

Flow utils

flowRes

flowSingle

flowSetN

flowSet

flowLift

flowToCont

flowTraverse

flowFor

flowTraverseFilter

flowForFilter

type Liftable xs ys

type Catchable a xs

type MaybeCatchable a xs

Non-variant single operations

(|>)

(<|)

(||>)

(<||)

Monadic/applicative operators

when

unless

whenM

unlessM

ifM

guard

void

forever

foldM

foldM_

forM

forM_

mapM

mapM_

sequence

replicateM

replicateM_

filterM

join

(<=<)

(>=>)

loopM

whileM

Named operators

flowMap

flowBind

flowBind'

flowMatch

flowMatchFail

First element operations

(.~.>)

(>.~.>)

(.~+>)

(>.~+>)

(.~^^>)

(>.~^^>)

(.~^>)

(>.~^>)

(.~$>)

(>.~$>)

(.~|>)

(>.~|>)

(.~=>)

(>.~=>)

(.~!>)

(>.~!>)

(.~!!>)

(>.~!!>)

First element, pure variant

(.-.>)

(>.-.>)

(<.-.)

(<.-.<)

Functor, applicative equivalents

(<$<)

(<*<)

(<|<)

First element, const variant

(.~~.>)

(>.~~.>)

(.~~+>)

(>.~~+>)

(.~~^^>)

(>.~~^^>)

(.~~^>)

(>.~~^>)

(.~~$>)

(>.~~$>)

(.~~|>)

(>.~~|>)

(.~~=>)

(>.~~=>)

(.~~!>)

(>.~~!>)

Tail operations

(..~.>)

(>..~.>)

(..-.>)

(>..-.>)

(..-..>)

(>..-..>)

(..~..>)

(>..~..>)

(..~^^>)

(>..~^^>)

(..~^>)

(>..~^>)

(..~=>)

(>..~=>)

(..~!>)

(>..~!>)

(..~!!>)

(>..~!!>)

Tail catch operations

(..%~^>)

(>..%~^>)

(..%~^^>)

(>..%~^^>)

(..%~$>)

(>..%~$>)

(..%~!!>)

(>..%~!!>)

(..%~!>)

(>..%~!>)

(..?~^>)

(>..?~^>)

(..?~^^>)

(>..?~^^>)

(..?~$>)

(>..?~$>)

(..?~!!>)

(>..?~!!>)

(..?~!>)

(>..?~!>)

Caught element operations

(%~.>)

(>%~.>)

(%~+>)

(>%~+>)

(%~^^>)

(>%~^^>)

(%~^>)

(>%~^>)

(%~$>)

(>%~$>)

(%~|>)

(>%~|>)

(%~=>)

(>%~=>)

(%~!>)

(>%~!>)

(%~!!>)

(>%~!!>)

(?~.>)

(>?~.>)

(?~+>)

(>?~+>)

(?~^^>)

(>?~^^>)

(?~^>)

(>?~^>)

(?~$>)

(>?~$>)

(?~|>)

(>?~|>)

(?~=>)

(>?~=>)

(?~!>)

(>?~!>)

(?~!!>)

(>?~!!>)

Helpers

makeFlowOp

makeFlowOpM

selectTail

selectFirst

selectType

applyConst

applyPure

applyM

applyF

combineFirst

combineSameTail

combineEither

combineConcat

combineUnion

combineLiftUnselected

combineLiftBoth

combineSingle

liftV

liftF