README About Versions Source Modules

Thread.Lifter

Helper module for converting Procedure.

type alias Lifter a b =

{ get : a -> Maybe b

, set : b -> a -> a

}

Use to convert shared memory types.

compose : Lifter a b -> Lifter b c -> Lifter a c

cond : Lifter a b -> (b -> Bool) -> a -> Bool

Modules