turbolift-core
API
Generated with
turbolift-core/turbolift/ComputationCases

ComputationCases

turbolift.ComputationCases
object ComputationCases

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

sealed abstract class FlatMap[A, B, U](val comp: Computation[A, U]) extends Computation[B, U], A => Computation[B, U]

Attributes

Supertypes
trait A => Computation[B, U]
class Computation[B, U]
class Object
trait Matchable
class Any
sealed abstract class Impure[A]() extends Computation[A, Any], () => A

Attributes

Supertypes
trait () => A
class Computation[A, Any]
class Object
trait Matchable
class Any
sealed abstract class Intrinsic[A, U] extends Computation[A, U], Engine => Tag

Attributes

Supertypes
trait Engine => Tag
class Computation[A, U]
class Object
trait Matchable
class Any
sealed abstract class LocalGetsEff[A, U, S](val prompt: Prompt) extends Computation[A, U], S => Computation[A, U]

Attributes

Supertypes
trait S => Computation[A, U]
class Computation[A, U]
class Object
trait Matchable
class Any
sealed abstract class LocalModify[S](val prompt: Prompt) extends Computation[Unit, Any], S => S

Attributes

Supertypes
trait S => S
class Computation[Unit, Any]
class Object
trait Matchable
class Any
sealed abstract class LocalUpdate[A, B, S](val prompt: Prompt) extends Computation[B, Any], S => A

Attributes

Supertypes
trait S => A
class Computation[B, Any]
class Object
trait Matchable
class Any
sealed abstract class Perform[A, U, Z <: Signature](val sig: Signature) extends Computation[A, U], Z => Computation[A, U]

Attributes

Supertypes
trait Z => Computation[A, U]
class Computation[A, U]
class Object
trait Matchable
class Any
sealed abstract class PureMap[A, B, U](val comp: Computation[A, U]) extends Computation[B, U], A => B

Attributes

Supertypes
trait A => B
class Computation[B, U]
class Object
trait Matchable
class Any
sealed abstract class Sync[A, B](val isAttempt: Boolean) extends Computation[B, IO], () => A

Attributes

Supertypes
trait () => A
class Computation[B, IO]
class Object
trait Matchable
class Any
Generated with