Supply

data Supply s a

A type that can be used to generate values on demand. s is a phantom type parameter that prevents unsafe usage

Constructors

• Node (Lazy a) (Lazy (Supply s a)) (Lazy (Supply s a))

Instances

• Functor (Supply s)
• Extend (Supply s)
• Comonad (Supply s)

supplyValue :: forall a s. Supply s a -> a

Get the value of a supply. This function, together with

split2 :: forall a s. Supply s a -> Tuple (Supply s a) (Supply s a)

Split a supply into two different supplies.

split3 :: forall a s. Supply s a -> Tuple3 (Supply s a) (Supply s a) (Supply s a)

Split a supply into three different supplies.

split4 :: forall a s. Supply s a -> Tuple4 (Supply s a) (Supply s a) (Supply s a) (Supply s a)

Split a supply into four different supplies.

unsafeInterleaveEffect :: forall a. Effect a -> Effect (Lazy a)

unsafeInterleaveEffect allows an Effect to be deferred lazily.

newSupply :: forall a s. a -> (a -> a) -> Effect (Supply s a)

Create a new supply

withSupply :: forall a r. a -> (a -> a) -> (forall s. Supply s a -> r) -> r

Create a new supply and use it without effects

modifySupply :: forall b a s. Supply s a -> (Supply s a -> b) -> Supply s b

Generate a new supply by systematically applying a function

newIntSupply :: forall s. Effect (Supply s Int)

Create a new integer supply

withIntSupply :: forall r. (forall s. Supply s Int -> r) -> r

Create a new integer supply and use it without effects