Typed

Types

type Typed tag a p

A definition of Typed data.

Users can control data modifiability by giving permission to the type variable p.

ReadOnly permission prohibits users to call all functions that do constructing and updating such as new, map and andThen.

ReadWrite permission allows users to call all functions.

value : Typed tag a p -> a

map : (a -> a) -> Typed tag a ReadWrite -> Typed tag a ReadWrite

(a -> Typed tag b ReadWrite)

encode : (a -> Value) -> Typed tag a p -> Value

decode : Decoder a -> Decoder (Typed tag a p)