Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt

Use this file to discover all available pages before exploring further.

​

DA.Action.State

​

Module Snapshot

​

Data Types

​

data State s a

A value of type `State s a` represents a computation that has access to a state variable
of type `s` and produces a value of type `a`.

>>> runState (modify (+1)) 0
((), 1)

>>> evalState (modify (+1)) 0
()

>>> execState (modify (+1)) 0
1

>>> runState (do x <- get; modify (+1); pure x) 0
(0, 1)

>>> runState (put 1) 0
((), 1)

>>> runState (modify (+1)) 0
((), 1)

Note that values of type `State s a` are not serializable.

• State | Field | Type | Description | | :---- | :--- | :---------- | | runState | s -> (a, s) | |

• instance ActionState s (State s)
• instance Action (State s)
• instance Applicative (State s)
• instance GetField runState (State s a) (s -> (a, s))
• instance SetField runState (State s a) (s -> (a, s))
• instance Functor (State s)

​

Functions

​

evalState

evalState : State s a -> s -> a

​

execState

execState : State s a -> s -> s

​

Orphan Typeclass Instances

• instance Functor (State s)
• instance Applicative (State s)
• instance Action (State s)
• instance ActionState s (State s)