Controlled recursion for fuzzers

Recurse.elm

module Recurse exposing (..)

{-| -}


{-| Function for creating controller recursive values.
-}
recurse : (a -> a) -> a -> a
recurse next done =
    -- This example recurses two levels down.
    -- In a fuzzer setting we could let this number vary.
    next (next done)


{-| Function for creating controller recursive values.
-}
recurse2 : (a -> a -> a) -> a -> a
recurse2 next done =
    next (next done done) (next done done)



{- EXAMPLE -}


type Chain
    = Link
        { strength : Int
        , next : Chain
        }
    | End


chain : Chain
chain =
    let
        next : Chain -> Chain
        next chain =
            Link
                { strength = 42
                , next = chain
                }
    in
    recurse next End