Documentation

CustomPrelude.Linter.Syntax

Imports

Init
CustomPrelude.Linter.Syntax.AdmitScope
CustomPrelude.Linter.Syntax.AesopTerminal
CustomPrelude.Linter.Syntax.AutoImplicitOverride
CustomPrelude.Linter.Syntax.ByAssumption
CustomPrelude.Linter.Syntax.ByCasesBang
CustomPrelude.Linter.Syntax.ByClassical
CustomPrelude.Linter.Syntax.ByInArg
CustomPrelude.Linter.Syntax.ExactAbsurd
CustomPrelude.Linter.Syntax.ExactBy
CustomPrelude.Linter.Syntax.FirstParens
CustomPrelude.Linter.Syntax.FirstSolveSingle
CustomPrelude.Linter.Syntax.FirstVsSolve
CustomPrelude.Linter.Syntax.GoalSelector
CustomPrelude.Linter.Syntax.HaveBareName
CustomPrelude.Linter.Syntax.InductionWith
CustomPrelude.Linter.Syntax.Lambda
CustomPrelude.Linter.Syntax.NoConfusion
CustomPrelude.Linter.Syntax.ObtainRfl
CustomPrelude.Linter.Syntax.PackUnpack
CustomPrelude.Linter.Syntax.RenameI
CustomPrelude.Linter.Syntax.RflHaveSimp
CustomPrelude.Linter.Syntax.RwBeforeSimp
CustomPrelude.Linter.Syntax.RwShow
CustomPrelude.Linter.Syntax.RwaExact
CustomPrelude.Linter.Syntax.SelectorFirst
CustomPrelude.Linter.Syntax.SelectorParens
CustomPrelude.Linter.Syntax.SelectorTry
CustomPrelude.Linter.Syntax.SeqFocusPipe
CustomPrelude.Linter.Syntax.SeqSolveBracket
CustomPrelude.Linter.Syntax.SimpIntro
CustomPrelude.Linter.Syntax.SimpaUsing
CustomPrelude.Linter.Syntax.SubscriptSuffix

Imported by

Syntax linters #

The linter.fugue.* linters that walk Syntax — one module per rule.