module CF.AL (AL (..), insert, singleton, sinsert) where

import qualified Data.IntMap as IM
import qualified Data.IntSet as IS

newtype AL=AL Int

insert :: AL -> a -> IntMap a -> IntMap a
insert (AL Int
i) = Int -> a -> IntMap a -> IntMap a
forall a. Int -> a -> IntMap a -> IntMap a
IM.insert Int
i; sinsert :: AL -> IntSet -> IntSet
sinsert (AL Int
i) = Int -> IntSet -> IntSet
IS.insert Int
i
singleton :: AL -> IntSet
singleton (AL Int
i) = Int -> IntSet
IS.singleton Int
i