morphir-tests
API
Generated with
morphir-tests/org.finos.morphir/org.finos.morphir.core.capabilities.free.example/counter/dsl

dsl

org.finos.morphir.core.capabilities.free.example.counter.dsl
object dsl

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
dsl.type

Members list

Type members

Types

type Counter[+E, +A] = Free[CounterExpr, E, A]

Value members

Concrete methods

def decrement(n: Int): Counter[Nothing, Unit]
def get(): Counter[Nothing, Int]
def increment(n: Int): Counter[Nothing, Unit]
def overflow(target: Int): Counter[Overflow, Nothing]
Generated with