• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for spectacle-1.0.0 source tarball

spectacle-1.0.0/

• CHANGELOG.md
• LICENSE
• README.md
• spectacle.cabal
• src/
  • Control/
    • Hyper.hs
    • Mealy.hs
    • Natural.hs
    • Applicative/
      • Day.hs
      • Phases.hs
      • Queue.hs
    • Comonad/
      • Tape.hs
    • Monad/
      • Levels.hs
      • Ref.hs
      • Levels/
        • Internal.hs
  • Data/
    • Ascript.hs
    • Bag.hs
    • Fingerprint.hs
    • Name.hs
    • Node.hs
    • World.hs
    • Functor/
      • Loom.hs
      • Tree.hs
    • Type/
      • List.hs
      • Rec.hs
  • Language/
    • Spectacle.hs
    • Spectacle/
      • AST.hs
      • Fairness.hs
      • Interaction.hs
      • Lang.hs
      • Model.hs
      • Specification.hs
      • Syntax.hs
      • AST/
        • Action.hs
        • Temporal.hs
      • Exception/
        • RuntimeException.hs
      • Interaction/
        • CLI.hs
        • Diagram.hs
        • Doc.hs
        • Options.hs
        • Paths.hs
        • Point.hs
        • Pos.hs
      • Lang/
        • Internal.hs
        • Member.hs
        • Op.hs
        • Scoped.hs
      • Model/
        • ModelAction.hs
        • ModelEnv.hs
        • ModelError.hs
        • ModelNode.hs
        • ModelState.hs
        • ModelTemporal.hs
        • Monad.hs
      • RTS/
        • Registers.hs
      • Specification/
        • Action.hs
        • Prop.hs
        • Variable.hs
      • Syntax/
        • Closure.hs
        • Enabled.hs
        • Env.hs
        • Error.hs
        • Logic.hs
        • NonDet.hs
        • Plain.hs
        • Prime.hs
        • Quantifier.hs
        • Closure/
          • Internal.hs
        • Enabled/
          • Internal.hs
        • Env/
          • Internal.hs
        • Error/
          • Internal.hs
        • Logic/
          • Internal.hs
        • NonDet/
          • Internal.hs
        • Plain/
          • Internal.hs
        • Prime/
          • Internal.hs
        • Quantifier/
          • Internal.hs
• test/
  • integration/
    • Main.hs
    • Specifications/
      • BitClock.hs
      • Diehard.hs
      • SimpleClock.hs
      • Status.hs
  • unit-tests/
    • Main.hs
    • Test/
      • Gen.hs
      • Control/
        • Comonad/
          • Tape.hs
      • Gen/
        • Rec.hs
      • Language/
        • Spectacle/
          • Interaction.hs
          • Interaction/
            • Paths.hs
            • Pos.hs
      • Laws/
        • Lens.hs
        • Ord.hs