flix

0.67.2

Fixpoint3.Counter

Definitions

def fresh(rc: Region[r]): Counter[r] \ r Source

Returns a fresh Counter initialized to 0.

def get(counter: Counter[r]): Int32 \ r Source

Returns the state of counter.

def getAndIncrement(counter: Counter[r]): Int32 \ r Source

Returns the state of counter and increments it.

def increment(counter: Counter[r]): Unit \ r Source

Increments the state of counter.

def set(i: Int32, counter: Counter[r]): Unit \ r Source

Sets the state of counter to i.