Eval
Index
Types
Eval[a]
port of cats.Eval to bosatsu
type Eval[a: +*]
Values
bind
def bind[a, b](e: Eval[a], fn: a -> Eval[b]) -> Eval[b]
done
def done[a](a: a) -> Eval[a]
eval
def eval[a](budget: Int, ea: Eval[a]) -> Option[a]
flat_map
def flat_map[a, b](e: Eval[a], fn: a -> Eval[b]) -> Eval[b]
map
def map[a, b](e: Eval[a], fn: a -> b) -> Eval[b]
The source code for this page can be found here.