├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .stylish-haskell.yaml ├── agda ├── SOP │ ├── NP.agda │ └── NS.agda └── Stream.agda ├── cabal.haskell-ci ├── cabal.project ├── scripts └── gen.hs ├── staged-commons ├── LICENSE ├── example │ ├── Examples.hs │ └── Main.hs ├── src │ └── Staged │ │ ├── Commons.hs │ │ └── Compat.hs └── staged-commons.cabal ├── staged-examples ├── LICENSE ├── src │ ├── FileStats.hs │ ├── FileStatsConduit.hs │ └── FileStatsConduitNoRetry.hs └── staged-examples.cabal ├── staged-kleene ├── LICENSE ├── src │ └── Staged │ │ └── Kleene.hs └── staged-kleene.cabal ├── staged-streams-resourcet ├── LICENSE ├── src │ └── Staged │ │ └── Stream │ │ ├── ByteString.hs │ │ ├── Handle.hs │ │ └── ResourceT.hs └── staged-streams-resourcet.cabal ├── staged-streams-unicode ├── LICENSE ├── bench │ ├── json-bench.hs │ └── json-weigh.hs ├── cli │ └── utf8-decode.hs ├── common │ ├── UnescapePure.hs │ └── UnescapePure2.hs ├── src │ ├── Unicode.hs │ └── Unicode │ │ ├── ByteString │ │ └── Source.hs │ │ ├── JSON.hs │ │ ├── JSON │ │ └── Decoder.hs │ │ ├── PrimArray │ │ └── Sink.hs │ │ ├── Text │ │ └── Sink.hs │ │ ├── Types.hs │ │ ├── UTF16 │ │ └── Encoder.hs │ │ └── UTF8 │ │ ├── Decoder.hs │ │ └── Encoder.hs ├── staged-streams-unicode.cabal └── tests │ ├── json-tests.hs │ └── ss-unicode-tests.hs └── staged-streams ├── LICENSE ├── src ├── Data │ └── SOP │ │ ├── Fn.hs │ │ ├── Fn │ │ ├── All.hs │ │ ├── Append.hs │ │ ├── Concat.hs │ │ ├── ConcatMapAppend.hs │ │ ├── Cons.hs │ │ ├── Flatten.hs │ │ ├── LiftA2Cons.hs │ │ ├── MapAppend.hs │ │ ├── MapConcat.hs │ │ ├── MapCons.hs │ │ └── Sequence.hs │ │ └── Sh.hs └── Staged │ ├── Stream.hs │ └── Stream │ ├── Combinators.hs │ ├── Convenience.hs │ ├── Directory.hs │ ├── Fallible.hs │ ├── Fallible │ ├── Combinators.hs │ ├── Convenience.hs │ ├── Step.hs │ └── Type.hs │ ├── Internal.hs │ ├── Pure.hs │ ├── Pure │ ├── Combinators.hs │ ├── Convenience.hs │ ├── Examples.hs │ └── Type.hs │ ├── States.hs │ ├── Step.hs │ └── Type.hs ├── staged-streams.cabal └── test ├── Coutts.hs ├── Families.hs ├── Inspection.hs ├── Inspection └── StreamPure.hs ├── QC.hs └── Test └── Tasty └── Inspection.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /agda/SOP/NP.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/agda/SOP/NP.agda -------------------------------------------------------------------------------- /agda/SOP/NS.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/agda/SOP/NS.agda -------------------------------------------------------------------------------- /agda/Stream.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/agda/Stream.agda -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/cabal.project -------------------------------------------------------------------------------- /scripts/gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/scripts/gen.hs -------------------------------------------------------------------------------- /staged-commons/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/LICENSE -------------------------------------------------------------------------------- /staged-commons/example/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/example/Examples.hs -------------------------------------------------------------------------------- /staged-commons/example/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/example/Main.hs -------------------------------------------------------------------------------- /staged-commons/src/Staged/Commons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/src/Staged/Commons.hs -------------------------------------------------------------------------------- /staged-commons/src/Staged/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/src/Staged/Compat.hs -------------------------------------------------------------------------------- /staged-commons/staged-commons.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-commons/staged-commons.cabal -------------------------------------------------------------------------------- /staged-examples/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-examples/LICENSE -------------------------------------------------------------------------------- /staged-examples/src/FileStats.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-examples/src/FileStats.hs -------------------------------------------------------------------------------- /staged-examples/src/FileStatsConduit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-examples/src/FileStatsConduit.hs -------------------------------------------------------------------------------- /staged-examples/src/FileStatsConduitNoRetry.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-examples/src/FileStatsConduitNoRetry.hs -------------------------------------------------------------------------------- /staged-examples/staged-examples.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-examples/staged-examples.cabal -------------------------------------------------------------------------------- /staged-kleene/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-kleene/LICENSE -------------------------------------------------------------------------------- /staged-kleene/src/Staged/Kleene.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-kleene/src/Staged/Kleene.hs -------------------------------------------------------------------------------- /staged-kleene/staged-kleene.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-kleene/staged-kleene.cabal -------------------------------------------------------------------------------- /staged-streams-resourcet/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-resourcet/LICENSE -------------------------------------------------------------------------------- /staged-streams-resourcet/src/Staged/Stream/ByteString.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-resourcet/src/Staged/Stream/ByteString.hs -------------------------------------------------------------------------------- /staged-streams-resourcet/src/Staged/Stream/Handle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-resourcet/src/Staged/Stream/Handle.hs -------------------------------------------------------------------------------- /staged-streams-resourcet/src/Staged/Stream/ResourceT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-resourcet/src/Staged/Stream/ResourceT.hs -------------------------------------------------------------------------------- /staged-streams-resourcet/staged-streams-resourcet.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-resourcet/staged-streams-resourcet.cabal -------------------------------------------------------------------------------- /staged-streams-unicode/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/LICENSE -------------------------------------------------------------------------------- /staged-streams-unicode/bench/json-bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/bench/json-bench.hs -------------------------------------------------------------------------------- /staged-streams-unicode/bench/json-weigh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/bench/json-weigh.hs -------------------------------------------------------------------------------- /staged-streams-unicode/cli/utf8-decode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/cli/utf8-decode.hs -------------------------------------------------------------------------------- /staged-streams-unicode/common/UnescapePure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/common/UnescapePure.hs -------------------------------------------------------------------------------- /staged-streams-unicode/common/UnescapePure2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/common/UnescapePure2.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/ByteString/Source.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/ByteString/Source.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/JSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/JSON.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/JSON/Decoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/JSON/Decoder.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/PrimArray/Sink.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/PrimArray/Sink.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/Text/Sink.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/Text/Sink.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/Types.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/UTF16/Encoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/UTF16/Encoder.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/UTF8/Decoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/UTF8/Decoder.hs -------------------------------------------------------------------------------- /staged-streams-unicode/src/Unicode/UTF8/Encoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/src/Unicode/UTF8/Encoder.hs -------------------------------------------------------------------------------- /staged-streams-unicode/staged-streams-unicode.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/staged-streams-unicode.cabal -------------------------------------------------------------------------------- /staged-streams-unicode/tests/json-tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/tests/json-tests.hs -------------------------------------------------------------------------------- /staged-streams-unicode/tests/ss-unicode-tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams-unicode/tests/ss-unicode-tests.hs -------------------------------------------------------------------------------- /staged-streams/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/LICENSE -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/All.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/All.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/Append.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/Append.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/Concat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/Concat.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/ConcatMapAppend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/ConcatMapAppend.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/Cons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/Cons.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/Flatten.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/Flatten.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/LiftA2Cons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/LiftA2Cons.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/MapAppend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/MapAppend.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/MapConcat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/MapConcat.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/MapCons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/MapCons.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Fn/Sequence.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Fn/Sequence.hs -------------------------------------------------------------------------------- /staged-streams/src/Data/SOP/Sh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Data/SOP/Sh.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Combinators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Combinators.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Convenience.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Convenience.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Directory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Directory.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Fallible.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Fallible.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Fallible/Combinators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Fallible/Combinators.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Fallible/Convenience.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Fallible/Convenience.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Fallible/Step.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Fallible/Step.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Fallible/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Fallible/Type.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Internal.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Pure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Pure.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Pure/Combinators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Pure/Combinators.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Pure/Convenience.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Pure/Convenience.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Pure/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Pure/Examples.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Pure/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Pure/Type.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/States.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/States.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Step.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Step.hs -------------------------------------------------------------------------------- /staged-streams/src/Staged/Stream/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/src/Staged/Stream/Type.hs -------------------------------------------------------------------------------- /staged-streams/staged-streams.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/staged-streams.cabal -------------------------------------------------------------------------------- /staged-streams/test/Coutts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/Coutts.hs -------------------------------------------------------------------------------- /staged-streams/test/Families.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/Families.hs -------------------------------------------------------------------------------- /staged-streams/test/Inspection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/Inspection.hs -------------------------------------------------------------------------------- /staged-streams/test/Inspection/StreamPure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/Inspection/StreamPure.hs -------------------------------------------------------------------------------- /staged-streams/test/QC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/QC.hs -------------------------------------------------------------------------------- /staged-streams/test/Test/Tasty/Inspection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phadej/staged/HEAD/staged-streams/test/Test/Tasty/Inspection.hs --------------------------------------------------------------------------------