stan-0.0.1.0: Haskell STatic ANalyser
Copyright(c) 2020 Kowainik
LicenseMPL-2.0
MaintainerKowainik <xrom.xkov@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Stan.Inspection

Description

Inspection — check or test provided by Stan.

Synopsis

Stan inspection type

data Inspection Source #

Data type that represents a check/test, or how we call it inspection that is provided by the Stan tool.

Instances

Instances details
Eq Inspection Source # 
Instance details

Defined in Stan.Inspection

Show Inspection Source # 
Instance details

Defined in Stan.Inspection

ToJSON Inspection Source # 
Instance details

Defined in Stan.Inspection

Methods

toJSON :: Inspection -> Value #

Inspection info

data InspectionAnalysis Source #

Data type that represents all possible types of stan inspections in a uniformed way.

Constructors

FindAst !PatternAst

Find the specific part of the Haskell AST (including specific functions).

Infix

Find all operators without matching infix[r|l]

LazyField

Check if the data type has lazy fields

BigTuples

Usage of tuples with size >= 4

PatternMatchOn_

Pattern matching on _ for sum types.

UseCompare

Replace multiple comparison operations with compare

type InspectionsMap = HashMap (Id Inspection) Inspection Source #

Type alias for the HashMap that contains pairs of inspections Ids and corresponding Inspections.

Sorting

Pretty print

prettyShowInspection :: Inspection -> Text Source #

Show Inspection in a human-friendly format.

prettyShowInspectionShort :: Inspection -> Text Source #

Show the short view of a given Inspection.

Markdown

inspectionsMd :: [Inspection] -> Text Source #

Create the MarkDown text for all inspections. The generated MD has a ToC and separate sections for each inspection.

This is used to keep the Wiki page of the project up to date.