stan-0.2.0.0: Haskell STatic ANalyser

Copyright | (c) 2020 Kowainik
License | MPL-2.0
Maintainer | Kowainik <xrom.xkov@gmail.com>
Safe Haskell | None
Language | Haskell2010

Stan.Inspection.Infinite

Contents

- Infinite inspections
  - Infinite `reverse`
  - Infinite `isSuffixOf`
  - Infinite `length`
  - Infinite `genericLength`
  - Infinite `sum`
  - Infinite `product`
- All inspections

Description

Contains all `Inspection`s for functions that hang on infinite lists.

The infinite inspections are in ranges:

-     STAN-0101 .. STAN-0200

Synopsis

- stan0101 :: Inspection
- stan0102 :: Inspection
- stan0103 :: Inspection
- stan0104 :: Inspection
- stan0105 :: Inspection
- stan0106 :: Inspection
- infiniteInspectionsMap :: InspectionsMap

# Infinite inspections

### Infinite `reverse`

stan0101 :: Inspection #

`Inspection` for `stan0101` — infinite `reverse` `STAN-0101`.

### Infinite `isSuffixOf`

stan0102 :: Inspection #

`Inspection` for `stan0102` — infinite `isSuffixOf` `STAN-0102`.

### Infinite `length`

stan0103 :: Inspection #

`Inspection` for `stan0103` — infinite `length` | `length` `STAN-0103`.

### Infinite `genericLength`

stan0104 :: Inspection #

`Inspection` for `stan0104` — infinite `genericLength` `STAN-0104`.

### Infinite `sum`

stan0105 :: Inspection #

`Inspection` for `stan0105` — infinite `sum` `STAN-0105`.

### Infinite `product`

stan0106 :: Inspection #

`Inspection` for `stan0106` — infinite `product` `STAN-0106`.

# All inspections

infiniteInspectionsMap :: InspectionsMap #

All infinite `Inspection`s map from `Id`s.