├── .envrc ├── .ghci ├── .gitignore ├── .stan.toml ├── .vscode ├── extensions.json ├── settings.json └── tasks.json ├── LICENSE.md ├── README.md ├── Setup.hs ├── app ├── Control │ └── Timeout.hs ├── Frugel │ └── Web │ │ ├── Action.hs │ │ ├── Event.hs │ │ ├── Internal │ │ └── Model.hs │ │ ├── Model.hs │ │ ├── View.hs │ │ └── View │ │ ├── Elements.hs │ │ └── Rendering.hs ├── Language │ └── Javascript │ │ └── JSaddle │ │ └── Warp │ │ └── Extra.hs └── Main.hs ├── base.nix ├── cabal.project ├── default.nix ├── floskell.json ├── frugel.cabal ├── hie.yaml ├── nix-stack.yaml ├── nix ├── commit-hooks.nix ├── scripts.nix ├── sources.json └── sources.nix ├── package.yaml ├── prelude └── Prelude.hs ├── scout-src ├── BasicEvaluation.hs ├── Control │ ├── Enumerable │ │ └── Combinators.hs │ ├── Limited.hs │ ├── ValidEnumerable.hs │ └── ValidEnumerable │ │ ├── Access.hs │ │ └── Class.hs ├── Data │ ├── Alphanumeric.hs │ ├── Constrained.hs │ ├── Hidden.hs │ ├── Sized.hs │ ├── Validity │ │ └── Extra.hs │ └── Whitespace.hs ├── Frugel │ └── CstrSite │ │ └── ValidEnumerable.hs ├── Optics │ ├── Extra │ │ └── Scout.hs │ ├── Fallible.hs │ ├── ReadOnly │ │ ├── FunctorOptic.hs │ │ ├── Intro.hs │ │ └── VL.hs │ └── Writer.hs ├── PrettyPrinting │ └── Expr.hs ├── Scout.hs ├── Scout │ ├── Error.hs │ ├── Evaluation.hs │ ├── Internal │ │ ├── EvaluationEnv.hs │ │ ├── Node.hs │ │ └── Program.hs │ ├── Lexing.hs │ ├── Node.hs │ ├── Operators.hs │ ├── Orphans │ │ ├── DisplayProjection.hs │ │ ├── MultiSet.hs │ │ └── Stream.hs │ ├── Parsing.hs │ ├── Parsing │ │ ├── Error.hs │ │ └── Whitespace.hs │ ├── PrettyPrinting.hs │ ├── Program.hs │ ├── Truncatable.hs │ └── Unbound.hs └── Text │ └── Megaparsec │ └── State │ └── Optics.hs ├── shell.nix ├── src ├── Control │ └── Zipper │ │ └── Seq.hs ├── Frugel.hs ├── Frugel │ ├── Action.hs │ ├── CstrSite.hs │ ├── Decomposition.hs │ ├── DisplayProjection.hs │ ├── Error.hs │ ├── Error │ │ └── InternalError.hs │ ├── Internal │ │ ├── DecompositionState.hs │ │ └── Model.hs │ ├── Model.hs │ ├── Parsing.hs │ └── PrettyPrinting.hs └── Optics │ └── Extra │ └── Frugel.hs ├── stack.yaml ├── stack.yaml.lock ├── test ├── Data │ └── NonNegative │ │ └── GenValidity.hs ├── EvaluationSpec.hs └── Spec.hs ├── weeder.dhall └── www ├── bulma.min.css ├── index.html └── style.css /.envrc: -------------------------------------------------------------------------------- 1 | use nix -------------------------------------------------------------------------------- /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.gitignore -------------------------------------------------------------------------------- /.stan.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.stan.toml -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Control/Timeout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Control/Timeout.hs -------------------------------------------------------------------------------- /app/Frugel/Web/Action.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/Action.hs -------------------------------------------------------------------------------- /app/Frugel/Web/Event.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/Event.hs -------------------------------------------------------------------------------- /app/Frugel/Web/Internal/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/Internal/Model.hs -------------------------------------------------------------------------------- /app/Frugel/Web/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/Model.hs -------------------------------------------------------------------------------- /app/Frugel/Web/View.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/View.hs -------------------------------------------------------------------------------- /app/Frugel/Web/View/Elements.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/View/Elements.hs -------------------------------------------------------------------------------- /app/Frugel/Web/View/Rendering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Frugel/Web/View/Rendering.hs -------------------------------------------------------------------------------- /app/Language/Javascript/JSaddle/Warp/Extra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Language/Javascript/JSaddle/Warp/Extra.hs -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/app/Main.hs -------------------------------------------------------------------------------- /base.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/base.nix -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/cabal.project -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/default.nix -------------------------------------------------------------------------------- /floskell.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/floskell.json -------------------------------------------------------------------------------- /frugel.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/frugel.cabal -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | cabal: 3 | -------------------------------------------------------------------------------- /nix-stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/nix-stack.yaml -------------------------------------------------------------------------------- /nix/commit-hooks.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/nix/commit-hooks.nix -------------------------------------------------------------------------------- /nix/scripts.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/nix/scripts.nix -------------------------------------------------------------------------------- /nix/sources.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/nix/sources.json -------------------------------------------------------------------------------- /nix/sources.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/nix/sources.nix -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/package.yaml -------------------------------------------------------------------------------- /prelude/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/prelude/Prelude.hs -------------------------------------------------------------------------------- /scout-src/BasicEvaluation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/BasicEvaluation.hs -------------------------------------------------------------------------------- /scout-src/Control/Enumerable/Combinators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Control/Enumerable/Combinators.hs -------------------------------------------------------------------------------- /scout-src/Control/Limited.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Control/Limited.hs -------------------------------------------------------------------------------- /scout-src/Control/ValidEnumerable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Control/ValidEnumerable.hs -------------------------------------------------------------------------------- /scout-src/Control/ValidEnumerable/Access.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Control/ValidEnumerable/Access.hs -------------------------------------------------------------------------------- /scout-src/Control/ValidEnumerable/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Control/ValidEnumerable/Class.hs -------------------------------------------------------------------------------- /scout-src/Data/Alphanumeric.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Alphanumeric.hs -------------------------------------------------------------------------------- /scout-src/Data/Constrained.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Constrained.hs -------------------------------------------------------------------------------- /scout-src/Data/Hidden.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Hidden.hs -------------------------------------------------------------------------------- /scout-src/Data/Sized.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Sized.hs -------------------------------------------------------------------------------- /scout-src/Data/Validity/Extra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Validity/Extra.hs -------------------------------------------------------------------------------- /scout-src/Data/Whitespace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Data/Whitespace.hs -------------------------------------------------------------------------------- /scout-src/Frugel/CstrSite/ValidEnumerable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Frugel/CstrSite/ValidEnumerable.hs -------------------------------------------------------------------------------- /scout-src/Optics/Extra/Scout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/Extra/Scout.hs -------------------------------------------------------------------------------- /scout-src/Optics/Fallible.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/Fallible.hs -------------------------------------------------------------------------------- /scout-src/Optics/ReadOnly/FunctorOptic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/ReadOnly/FunctorOptic.hs -------------------------------------------------------------------------------- /scout-src/Optics/ReadOnly/Intro.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/ReadOnly/Intro.hs -------------------------------------------------------------------------------- /scout-src/Optics/ReadOnly/VL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/ReadOnly/VL.hs -------------------------------------------------------------------------------- /scout-src/Optics/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Optics/Writer.hs -------------------------------------------------------------------------------- /scout-src/PrettyPrinting/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/PrettyPrinting/Expr.hs -------------------------------------------------------------------------------- /scout-src/Scout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout.hs -------------------------------------------------------------------------------- /scout-src/Scout/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Error.hs -------------------------------------------------------------------------------- /scout-src/Scout/Evaluation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Evaluation.hs -------------------------------------------------------------------------------- /scout-src/Scout/Internal/EvaluationEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Internal/EvaluationEnv.hs -------------------------------------------------------------------------------- /scout-src/Scout/Internal/Node.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Internal/Node.hs -------------------------------------------------------------------------------- /scout-src/Scout/Internal/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Internal/Program.hs -------------------------------------------------------------------------------- /scout-src/Scout/Lexing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Lexing.hs -------------------------------------------------------------------------------- /scout-src/Scout/Node.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Node.hs -------------------------------------------------------------------------------- /scout-src/Scout/Operators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Operators.hs -------------------------------------------------------------------------------- /scout-src/Scout/Orphans/DisplayProjection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Orphans/DisplayProjection.hs -------------------------------------------------------------------------------- /scout-src/Scout/Orphans/MultiSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Orphans/MultiSet.hs -------------------------------------------------------------------------------- /scout-src/Scout/Orphans/Stream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Orphans/Stream.hs -------------------------------------------------------------------------------- /scout-src/Scout/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Parsing.hs -------------------------------------------------------------------------------- /scout-src/Scout/Parsing/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Parsing/Error.hs -------------------------------------------------------------------------------- /scout-src/Scout/Parsing/Whitespace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Parsing/Whitespace.hs -------------------------------------------------------------------------------- /scout-src/Scout/PrettyPrinting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/PrettyPrinting.hs -------------------------------------------------------------------------------- /scout-src/Scout/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Program.hs -------------------------------------------------------------------------------- /scout-src/Scout/Truncatable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Truncatable.hs -------------------------------------------------------------------------------- /scout-src/Scout/Unbound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Scout/Unbound.hs -------------------------------------------------------------------------------- /scout-src/Text/Megaparsec/State/Optics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/scout-src/Text/Megaparsec/State/Optics.hs -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/shell.nix -------------------------------------------------------------------------------- /src/Control/Zipper/Seq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Control/Zipper/Seq.hs -------------------------------------------------------------------------------- /src/Frugel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel.hs -------------------------------------------------------------------------------- /src/Frugel/Action.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Action.hs -------------------------------------------------------------------------------- /src/Frugel/CstrSite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/CstrSite.hs -------------------------------------------------------------------------------- /src/Frugel/Decomposition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Decomposition.hs -------------------------------------------------------------------------------- /src/Frugel/DisplayProjection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/DisplayProjection.hs -------------------------------------------------------------------------------- /src/Frugel/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Error.hs -------------------------------------------------------------------------------- /src/Frugel/Error/InternalError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Error/InternalError.hs -------------------------------------------------------------------------------- /src/Frugel/Internal/DecompositionState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Internal/DecompositionState.hs -------------------------------------------------------------------------------- /src/Frugel/Internal/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Internal/Model.hs -------------------------------------------------------------------------------- /src/Frugel/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Model.hs -------------------------------------------------------------------------------- /src/Frugel/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/Parsing.hs -------------------------------------------------------------------------------- /src/Frugel/PrettyPrinting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Frugel/PrettyPrinting.hs -------------------------------------------------------------------------------- /src/Optics/Extra/Frugel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/src/Optics/Extra/Frugel.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /test/Data/NonNegative/GenValidity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/test/Data/NonNegative/GenValidity.hs -------------------------------------------------------------------------------- /test/EvaluationSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/test/EvaluationSpec.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /weeder.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/weeder.dhall -------------------------------------------------------------------------------- /www/bulma.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/www/bulma.min.css -------------------------------------------------------------------------------- /www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/www/index.html -------------------------------------------------------------------------------- /www/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cdfa/frugel/HEAD/www/style.css --------------------------------------------------------------------------------