Control.SessionTypes.MonadSession

Primitives

class MonadSession m

Combinators

empty

empty0

selN

selN1

selN2

selN3

selN4

class Select xs s

(<&)

(<&>)

offer

recurseFix

recurse0

weaken0

var0

eps0