Zafu/Control/IterState

source code:

• src/Zafu/Control/IterState.bosatsu

public dependencies: Bosatsu/Collection/Array

Index

• Types: IterState
• Values: continue, done, foldl_Array, foldl_List, foldr_Array, foldr_List, map_continue, map_done, value

Types

IterState[cont, done]

type IterState[cont: +*, done: +*]

Constructors

• Continue(cont: cont)
• Done(done: done)

Values

continue

references: IterState

def continue[a, b](value: a) -> IterState[a, b]

done

references: IterState

def done[a, b](value: a) -> IterState[b, a]

foldl_Array

references: Bosatsu/Collection/Array::Array, IterState

def foldl_Array[a,
    b
](items: Bosatsu/Collection/Array::Array[a], init: b, fn: (b, a) -> IterState[b, b]) -> IterState[b, b]

foldl_List

references: IterState, List

def foldl_List[a, b](items: List[a], init: b, fn: (b, a) -> IterState[b, b]) -> IterState[b, b]

foldr_Array

references: Bosatsu/Collection/Array::Array, IterState

def foldr_Array[a,
    b
](items: Bosatsu/Collection/Array::Array[a], init: b, fn: (a, b) -> IterState[b, b]) -> IterState[b, b]

foldr_List

references: IterState, List

def foldr_List[a, b](items: List[a], init: b, fn: (a, b) -> IterState[b, b]) -> IterState[b, b]

map_continue

references: IterState

def map_continue[a, b, c](state: IterState[a, b], fn: a -> c) -> IterState[c, b]

map_done

references: IterState

def map_done[a, b, c](state: IterState[a, b], fn: b -> c) -> IterState[a, c]

value

references: IterState

def value[a](iter: IterState[a, a]) -> a