Unique

Pure generation of unique identifiers in Elm.

Types

type Id

The type of an identifier. Identifiers are integers, but this is an opaque type so that we cannot introduce them by accident. Equality and toString are supported on Id values.

type Unique a

A calculation that consumes unique identifiers and produces a value of type a.

Run

run : Unique a -> a

Run a computation that consumes unique IDs. Within one invocation of run, the generated Id values are guaranteed to be unique. However, multiple invocations of run will generate conflicting Ids.

Introduction

return : a -> Unique a

Return a constant value without consuming any IDs.

unique : Unique Id

Generate a unique ID.

Sequencing

andThen : Unique a -> (a -> Unique b) -> Unique b

TODO

map : (a -> b) -> Unique a -> Unique b

Apply a function to the result of a Unique computation.

map2 : (a -> b -> c) -> Unique a -> Unique b -> Unique c

Apply a function to the result of two Unique computations.

map3 : (a -> b -> c -> d) -> Unique a -> Unique b -> Unique c -> Unique d

Apply a function to the result of three Unique computations.

replicate : Int -> Unique a -> Unique (List a)

Repeatedly invoke a Unique computation, generating a list of results.

sequence : List (Unique a) -> Unique (List a)

Execute a list of Unique computations in order.

Modules

Unique

league/unique-id/1.0.0

Unique

Types

Run

Introduction

Sequencing

Modules