morphir-tests
morphir-tests
API
org.finos.morphir
core.capabilities.free.example
counter
dsl
grammar
CounterError
CounterError
Overflow
CounterExpr
Decrement
Get
Increment
Overflow
CounterExpr
IncrementOrDecrement
Decrement
Increment
IncrementOrDecrement
interpreters
datamodel
Joe
Person
PrintSpecExample
Bar
Baz
Foo
Person
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
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
dsl
.type
Members list
Clear all
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
]
In this article
Attributes
Members list
Type members
Types
Value members
Concrete methods