IterableCpsMonad
cps.monads.IterableCpsMonad
class IterableCpsMonad[C <: (IterableOnce)](iterableFactory: IterableFactory[C]) extends CpsThrowMonad[C], CpsThrowMonadInstanceContext[C]
Monad for iterable collection. typical usage:
def allpairs[A](l:List[A]):List((A,A)) = reify[List] {
(reflect(l),reflect(l))
}
Attributes
- Graph
-
- Supertypes
-
trait CpsThrowMonadInstanceContext[C]trait CpsThrowMonad[C]trait CpsThrowSupport[C]trait CpsMonad[C]class Objecttrait Matchableclass AnyShow all
Members list
Type members
Inherited types
Attributes
- Inherited from:
- CpsThrowMonadInstanceContext
Value members
Concrete methods
represent error e
in monadic context.
represent error e
in monadic context.
Attributes
bind combinator, which compose f
over fa
map a function f
over fa
Inherited methods
run op in the context environment.
run op in the context environment.
Attributes
- Definition Classes
- Inherited from:
- CpsThrowMonadInstanceContext
Wrap and flatten of monadic expression..
Create monadic expression according to the default operation of choosen monad types. (i.e. delaying for effect monads, starting for eager monand, pure by default)
Create monadic expression according to the default operation of choosen monad types. (i.e. delaying for effect monads, starting for eager monand, pure by default)
Attributes
- Inherited from:
- CpsMonad
In this article