Searched refs:cutoffI (Results 1 – 7 of 7) sorted by relevance
238 | n <= toInteger (maxBound :: Int) = cutoffI (fromInteger n :: Int) m239 | otherwise = cutoffI n m243 cutoffI :: (Functor f, Integral n) => n -> F f a -> F f (Maybe a)244 cutoffI n m = F m' where function
237 | n <= toInteger (maxBound :: Int) = cutoffI (fromInteger n :: Int) m238 | otherwise = cutoffI n m242 cutoffI :: (Functor f, Integral n) => n -> F f a -> F f (Maybe a)243 cutoffI n m = F m' where function