Safe Haskell | None |
---|---|
Language | Haskell98 |
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 a Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
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 a Source #