Dovetail.Core.Data.Unfoldable
unfoldrArrayImpl :: (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 #