Safe Haskell | None |
---|
Documentation
doNumberwang :: (Num a, Ord a, MonadLBState m, LBState m ~ NumberwangState) => Bool -> a -> Cmd m ()Source
withState :: (MonadLBState m, LBState m ~ NumberwangState) => Bool -> (Int -> (Int -> m ()) -> RVar Int -> m a) -> m aSource
checkNumberwang :: (MonadLBState m, LBState m ~ NumberwangState) => Bool -> Int -> m BoolSource