blob: 462eeec23ad178eddcd3998bc46fb75374deea45 (
plain)
1
2
3
4
5
6
7
8
9
10
|
type M 's 'a = <| runState : 's -> ('a * 's) |>
val return : forall 's 'a. 'a -> M 's 'a
let return a = <| runState = (fun s -> (a,s)) |>
val bind : forall 's 'a 'b. M 's 'a -> ('a -> M 's 'b) -> M 's 'b
let bind m f = <| runState = (fun s -> let (a,s) = m.runState s in (f a).runState s) |>
let (>>=) = bind
let (>>) m n = m >>= fun _ -> n
|
