Haskus.Utils.ContFlow

data ContFlow xs r

(>::>)

(>:-:>)

(>:%:>)

fret

fretN

freturn

freturnN

frec

type family ContListToTuple (xs :: [*]) r where ...

type family ContTupleToList t r :: [*] where ...

type family StripR f r where ...

type family AddR f r where ...

Control-flow

fIf

data Then

data Else