lib:spectacle
Modules
- Control.Applicative.Day
- Control.Applicative.Phases
- Control.Applicative.Queue
- Control.Comonad.Tape
- Control.Hyper
- Control.Mealy
- Control.Monad.Levels
- Control.Monad.Levels.Internal
- Control.Monad.Ref
- Control.Natural
- Data.Ascript
- Data.Bag
- Data.Fingerprint
- Data.Functor.Loom
- Data.Functor.Tree
- Data.Name
- Data.Node
- Data.Type.List
- Data.Type.Rec
- Data.World
- Language.Spectacle
- Language.Spectacle.AST
- Language.Spectacle.AST.Action
- Language.Spectacle.AST.Temporal
- Language.Spectacle.Exception.RuntimeException
- Language.Spectacle.Fairness
- Language.Spectacle.Interaction
- Language.Spectacle.Interaction.CLI
- Language.Spectacle.Interaction.Diagram
- Language.Spectacle.Interaction.Doc
- Language.Spectacle.Interaction.Options
- Language.Spectacle.Interaction.Paths
- Language.Spectacle.Interaction.Point
- Language.Spectacle.Interaction.Pos
- Language.Spectacle.Lang
- Language.Spectacle.Lang.Internal
- Language.Spectacle.Lang.Member
- Language.Spectacle.Lang.Op
- Language.Spectacle.Lang.Scoped
- Language.Spectacle.Model
- Language.Spectacle.Model.ModelAction
- Language.Spectacle.Model.ModelEnv
- Language.Spectacle.Model.ModelError
- Language.Spectacle.Model.ModelNode
- Language.Spectacle.Model.ModelState
- Language.Spectacle.Model.ModelTemporal
- Language.Spectacle.Model.Monad
- Language.Spectacle.RTS.Registers
- Language.Spectacle.Specification
- Language.Spectacle.Specification.Action
- Language.Spectacle.Specification.Prop
- Language.Spectacle.Specification.Variable
- Language.Spectacle.Syntax
- Language.Spectacle.Syntax.Closure
- Language.Spectacle.Syntax.Closure.Internal
- Language.Spectacle.Syntax.Enabled
- Language.Spectacle.Syntax.Enabled.Internal
- Language.Spectacle.Syntax.Env
- Language.Spectacle.Syntax.Env.Internal
- Language.Spectacle.Syntax.Error
- Language.Spectacle.Syntax.Error.Internal
- Language.Spectacle.Syntax.Logic
- Language.Spectacle.Syntax.Logic.Internal
- Language.Spectacle.Syntax.NonDet
- Language.Spectacle.Syntax.NonDet.Internal
- Language.Spectacle.Syntax.Plain
- Language.Spectacle.Syntax.Plain.Internal
- Language.Spectacle.Syntax.Prime
- Language.Spectacle.Syntax.Prime.Internal
- Language.Spectacle.Syntax.Quantifier
- Language.Spectacle.Syntax.Quantifier.Internal
Dependencies
- base lib:base >=4.14 && <4.15
- comonad lib:comonad >=0
- containers lib:containers >=0.6
- hashable lib:hashable >=1.3.0.0
- logict lib:logict >=0
- microlens lib:microlens >=0
- microlens-mtl lib:microlens-mtl >=0
- mtl lib:mtl >=2.2
- optparse-applicative lib:optparse-applicative >=0
- prettyprinter lib:prettyprinter >=0
- prettyprinter-ansi-terminal lib:prettyprinter-ansi-terminal >=0
- text lib:text >=0
- transformers lib:transformers >=0.5
Reverse dependencies
Direct only. Not exhaustive.