Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
checkBounds2 :: MeasurableQM ([] *) ([] *) Identity t1 => Int -> t1 -> (String -> t) -> t -> t Source
checkBoundsM2 :: (Monad m, MeasurableQM ([] *) ([] *) Identity t, Cond2 opt) => Proxy (Opt *) opt -> Int -> t -> a -> m a Source