├── .github └── workflows │ └── nix-build.yml ├── .gitignore ├── .travis.yml ├── ChangeLog.md ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── default.nix ├── flake.lock ├── flake.nix ├── hie.yaml ├── nix ├── compat.nix ├── overlay.nix └── source-filter ├── package.yaml ├── polysemy-plugin ├── .gitignore ├── ChangeLog.md ├── LICENSE ├── README.md ├── Setup.hs ├── package.yaml ├── polysemy-plugin.cabal ├── src │ └── Polysemy │ │ ├── Plugin.hs │ │ └── Plugin │ │ ├── Fundep.hs │ │ └── Fundep │ │ ├── Stuff.hs │ │ ├── Unification.hs │ │ └── Utils.hs └── test │ ├── AmbiguousSpec.hs │ ├── DoctestSpec.hs │ ├── ExampleSpec.hs │ ├── InsertSpec.hs │ ├── LegitimateTypeErrorSpec.hs │ ├── Main.hs │ ├── MultipleVarsSpec.hs │ ├── PluginSpec.hs │ ├── TypeErrors.hs │ └── VDQSpec.hs ├── polysemy.cabal ├── polysemy.png ├── polysemy.xcf ├── shell.nix ├── src ├── Polysemy.hs └── Polysemy │ ├── Async.hs │ ├── AtomicState.hs │ ├── Bundle.hs │ ├── Embed.hs │ ├── Embed │ └── Type.hs │ ├── Error.hs │ ├── Fail.hs │ ├── Fail │ └── Type.hs │ ├── Final.hs │ ├── Fixpoint.hs │ ├── IO.hs │ ├── Input.hs │ ├── Internal.hs │ ├── Internal.hs-boot │ ├── Internal │ ├── Bundle.hs │ ├── Combinators.hs │ ├── CustomErrors.hs │ ├── CustomErrors │ │ └── Redefined.hs │ ├── Fixpoint.hs │ ├── Index.hs │ ├── Kind.hs │ ├── NonDet.hs │ ├── PluginLookup.hs │ ├── Scoped.hs │ ├── Sing.hs │ ├── Strategy.hs │ ├── TH │ │ ├── Common.hs │ │ └── Effect.hs │ ├── Tactics.hs │ ├── Union.hs │ └── Writer.hs │ ├── Membership.hs │ ├── NonDet.hs │ ├── Opaque.hs │ ├── Output.hs │ ├── Reader.hs │ ├── Resource.hs │ ├── Scoped.hs │ ├── State.hs │ ├── Tagged.hs │ ├── Trace.hs │ └── Writer.hs ├── stack.yaml └── test ├── AlternativeSpec.hs ├── BracketSpec.hs ├── DoctestSpec.hs ├── ErrorSpec.hs ├── FailSpec.hs ├── FinalSpec.hs ├── FixpointSpec.hs ├── FusionSpec.hs ├── HigherOrderSpec.hs ├── InterceptSpec.hs ├── KnownRowSpec.hs ├── Main.hs ├── OutputSpec.hs ├── ScopedSpec.hs ├── TacticsSpec.hs ├── ThEffectSpec.hs ├── TypeErrors.hs └── WriterSpec.hs /.github/workflows/nix-build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/.github/workflows/nix-build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/.travis.yml -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/Setup.hs -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/cabal.project -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- 1 | {...}: (import ./nix/compat.nix).defaultNix 2 | -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/flake.nix -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/hie.yaml -------------------------------------------------------------------------------- /nix/compat.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/nix/compat.nix -------------------------------------------------------------------------------- /nix/overlay.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/nix/overlay.nix -------------------------------------------------------------------------------- /nix/source-filter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/nix/source-filter -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/package.yaml -------------------------------------------------------------------------------- /polysemy-plugin/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | *~ 3 | -------------------------------------------------------------------------------- /polysemy-plugin/ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/ChangeLog.md -------------------------------------------------------------------------------- /polysemy-plugin/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/LICENSE -------------------------------------------------------------------------------- /polysemy-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/README.md -------------------------------------------------------------------------------- /polysemy-plugin/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/Setup.hs -------------------------------------------------------------------------------- /polysemy-plugin/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/package.yaml -------------------------------------------------------------------------------- /polysemy-plugin/polysemy-plugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/polysemy-plugin.cabal -------------------------------------------------------------------------------- /polysemy-plugin/src/Polysemy/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/src/Polysemy/Plugin.hs -------------------------------------------------------------------------------- /polysemy-plugin/src/Polysemy/Plugin/Fundep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/src/Polysemy/Plugin/Fundep.hs -------------------------------------------------------------------------------- /polysemy-plugin/src/Polysemy/Plugin/Fundep/Stuff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/src/Polysemy/Plugin/Fundep/Stuff.hs -------------------------------------------------------------------------------- /polysemy-plugin/src/Polysemy/Plugin/Fundep/Unification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/src/Polysemy/Plugin/Fundep/Unification.hs -------------------------------------------------------------------------------- /polysemy-plugin/src/Polysemy/Plugin/Fundep/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/src/Polysemy/Plugin/Fundep/Utils.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/AmbiguousSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/AmbiguousSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/DoctestSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/DoctestSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/ExampleSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/ExampleSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/InsertSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/InsertSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/LegitimateTypeErrorSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/LegitimateTypeErrorSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/Main.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | -------------------------------------------------------------------------------- /polysemy-plugin/test/MultipleVarsSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/MultipleVarsSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/PluginSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/PluginSpec.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/TypeErrors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/TypeErrors.hs -------------------------------------------------------------------------------- /polysemy-plugin/test/VDQSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy-plugin/test/VDQSpec.hs -------------------------------------------------------------------------------- /polysemy.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy.cabal -------------------------------------------------------------------------------- /polysemy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy.png -------------------------------------------------------------------------------- /polysemy.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/polysemy.xcf -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | {...}: (import ./nix/compat.nix).shellNix 2 | -------------------------------------------------------------------------------- /src/Polysemy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy.hs -------------------------------------------------------------------------------- /src/Polysemy/Async.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Async.hs -------------------------------------------------------------------------------- /src/Polysemy/AtomicState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/AtomicState.hs -------------------------------------------------------------------------------- /src/Polysemy/Bundle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Bundle.hs -------------------------------------------------------------------------------- /src/Polysemy/Embed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Embed.hs -------------------------------------------------------------------------------- /src/Polysemy/Embed/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Embed/Type.hs -------------------------------------------------------------------------------- /src/Polysemy/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Error.hs -------------------------------------------------------------------------------- /src/Polysemy/Fail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Fail.hs -------------------------------------------------------------------------------- /src/Polysemy/Fail/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Fail/Type.hs -------------------------------------------------------------------------------- /src/Polysemy/Final.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Final.hs -------------------------------------------------------------------------------- /src/Polysemy/Fixpoint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Fixpoint.hs -------------------------------------------------------------------------------- /src/Polysemy/IO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/IO.hs -------------------------------------------------------------------------------- /src/Polysemy/Input.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Input.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal.hs-boot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal.hs-boot -------------------------------------------------------------------------------- /src/Polysemy/Internal/Bundle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Bundle.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Combinators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Combinators.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/CustomErrors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/CustomErrors.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/CustomErrors/Redefined.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/CustomErrors/Redefined.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Fixpoint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Fixpoint.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Index.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Index.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Kind.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Kind.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/NonDet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/NonDet.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/PluginLookup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/PluginLookup.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Scoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Scoped.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Sing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Sing.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Strategy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Strategy.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/TH/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/TH/Common.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/TH/Effect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/TH/Effect.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Tactics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Tactics.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Union.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Union.hs -------------------------------------------------------------------------------- /src/Polysemy/Internal/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Internal/Writer.hs -------------------------------------------------------------------------------- /src/Polysemy/Membership.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Membership.hs -------------------------------------------------------------------------------- /src/Polysemy/NonDet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/NonDet.hs -------------------------------------------------------------------------------- /src/Polysemy/Opaque.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Opaque.hs -------------------------------------------------------------------------------- /src/Polysemy/Output.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Output.hs -------------------------------------------------------------------------------- /src/Polysemy/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Reader.hs -------------------------------------------------------------------------------- /src/Polysemy/Resource.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Resource.hs -------------------------------------------------------------------------------- /src/Polysemy/Scoped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Scoped.hs -------------------------------------------------------------------------------- /src/Polysemy/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/State.hs -------------------------------------------------------------------------------- /src/Polysemy/Tagged.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Tagged.hs -------------------------------------------------------------------------------- /src/Polysemy/Trace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Trace.hs -------------------------------------------------------------------------------- /src/Polysemy/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/src/Polysemy/Writer.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | resolver: lts-19.23 2 | 3 | packages: 4 | - . 5 | - polysemy-plugin 6 | 7 | -------------------------------------------------------------------------------- /test/AlternativeSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/AlternativeSpec.hs -------------------------------------------------------------------------------- /test/BracketSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/BracketSpec.hs -------------------------------------------------------------------------------- /test/DoctestSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/DoctestSpec.hs -------------------------------------------------------------------------------- /test/ErrorSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/ErrorSpec.hs -------------------------------------------------------------------------------- /test/FailSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/FailSpec.hs -------------------------------------------------------------------------------- /test/FinalSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/FinalSpec.hs -------------------------------------------------------------------------------- /test/FixpointSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/FixpointSpec.hs -------------------------------------------------------------------------------- /test/FusionSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/FusionSpec.hs -------------------------------------------------------------------------------- /test/HigherOrderSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/HigherOrderSpec.hs -------------------------------------------------------------------------------- /test/InterceptSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/InterceptSpec.hs -------------------------------------------------------------------------------- /test/KnownRowSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/KnownRowSpec.hs -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | -------------------------------------------------------------------------------- /test/OutputSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/OutputSpec.hs -------------------------------------------------------------------------------- /test/ScopedSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/ScopedSpec.hs -------------------------------------------------------------------------------- /test/TacticsSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/TacticsSpec.hs -------------------------------------------------------------------------------- /test/ThEffectSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/ThEffectSpec.hs -------------------------------------------------------------------------------- /test/TypeErrors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/TypeErrors.hs -------------------------------------------------------------------------------- /test/WriterSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polysemy-research/polysemy/HEAD/test/WriterSpec.hs --------------------------------------------------------------------------------