Safe Haskell | None |
---|
Documentation
countDown :: (Additive i, Comparison i, IntegerConstant i) => T i -> T r (T i)Source
take :: (Additive i, Comparison i, IntegerConstant i) => T i -> T r a -> T r aSource
Safe Haskell | None |
---|
countDown :: (Additive i, Comparison i, IntegerConstant i) => T i -> T r (T i)Source
take :: (Additive i, Comparison i, IntegerConstant i) => T i -> T r a -> T r aSource