blob: d4fd945ae4b095f3371b8c10e35e7d990fd93942 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module CHAD.Util.IdGen where
import Control.Monad.Fix
import Control.Monad.Trans.State.Strict
newtype IdGen a = IdGen (State Int a)
deriving newtype (Functor, Applicative, Monad, MonadFix)
genId :: IdGen Int
genId = IdGen (state (\i -> (i, i + 1)))
runIdGen :: Int -> IdGen a -> a
runIdGen start (IdGen m) = evalState m start
runIdGen' :: Int -> IdGen a -> (a, Int)
runIdGen' start (IdGen m) = runState m start
|
