Documentation

unfoldr1ArrayImpl :: (Value ctx -> Eval ctx Bool) -> (Value ctx -> Eval ctx (Value ctx)) -> (Value ctx -> Eval ctx (Value ctx)) -> (Value ctx -> Eval ctx (Value ctx)) -> (Value ctx -> Eval ctx (Value ctx)) -> Value ctx -> Eval ctx (Vector (Value ctx)) Source #

env :: forall ctx. Env ctx Source #