GraphHammer.SimplestParallel

type Index

HList

data Nil

data a :. b

Representation exported abstractly

data GraphHammer as

How to create a new GraphHammer.

graphHammerNew

An analysis monad to create operations with GraphHammer.

type GraphHammerM as a

runAnalysesStack

Local values processing.

data Value asgn v

data Composed

localValue

cst

($=)

(+.)

(-.)

(*.)

divV

(===)

(=/=)

Analysis type. Abstract.

data Analysis as wholeset

type AnM as a

onEdges

anIf

getAnalysisResult

putAnalysisResult

incrementAnalysisResult

type family RequiredAnalyses a

How to create basic analysis, one which does not depend on the other.

basicAnalysis

Derived analysis, dependent on some other.

derivedAnalysis

class EnabledAnalysis a as

class EnabledAnalyses as eas