Bosatsu/Prog

Index

• Types: Main, Prog
• Values: await, map, map_err, pure, raise_error, read_env, recover, recursive, remap_env, unit, with_env

Types

Main

type Main

Constructors

• Main(prog: forall err: *. Prog[List[String], err, Int])

Prog[env, err, res]

type Prog[env: -*, err: +*, res: +*]

Values

await

def await[a, b, c, d](p: Prog[a, b, c], fn: c -> Prog[a, b, d]) -> Prog[a, b, d]

map

def map[a, b, c, d](prog: Prog[a, b, c], fn: c -> d) -> Prog[a, b, d]

map_err

def map_err[a, b, c, d](prog: Prog[a, b, c], fn: b -> d) -> Prog[a, d, c]

pure

def pure[env, err, res](a: res) -> Prog[env, err, res]

raise_error

def raise_error[env, err, res](e: err) -> Prog[env, err, res]

read_env

read_env: forall a: *, err: *. Prog[a, err, a]

recover

def recover[env,
    err,
    res,
    err1](prog: Prog[env, err, res], fn: err -> Prog[env, err1, res]) -> Prog[env, err1, res]

recursive

def recursive[a, b, c, d](fn: (a -> Prog[b, c, d]) -> a -> Prog[b, c, d]) -> a -> Prog[b, c, d]

remap_env

def remap_env[env, err, res, env1](p: Prog[env, err, res], f: env1 -> env) -> Prog[env1, err, res]

unit

unit: forall a: *, b: *. Prog[a, b, ()]

with_env

def with_env[a, b, c, d](p: Prog[a, b, c], env: a) -> Prog[d, b, c]