├── .gitignore ├── LICENSE ├── README.md └── src ├── Data ├── ByteString.agda ├── ByteString │ ├── Primitive.agda │ ├── UTF8.agda │ └── UTF8 │ │ └── Primitive.agda ├── Char │ ├── Classifier.agda │ └── Classifier │ │ └── Primitive.agda ├── Natural.agda ├── Natural │ ├── AgdaFFI.hs │ └── Primitive.agda ├── Strict.agda ├── Strict │ ├── AgdaFFI.hs │ └── Primitive.agda ├── Word.agda └── Word │ └── Primitive.agda ├── System ├── IO.agda └── IO │ ├── AgdaFFI.hs │ ├── Examples │ ├── DevNull.agda │ ├── Four.agda │ ├── HelloFour.agda │ ├── HelloRaw.agda │ ├── HelloUser.agda │ ├── HelloWorld.agda │ ├── Transducers.agda │ └── WC.agda │ ├── Primitive.agda │ ├── Transducers.agda │ └── Transducers │ ├── Bytes.agda │ ├── Function.agda │ ├── IO.agda │ ├── Lazy.agda │ ├── List.agda │ ├── Properties.agda │ ├── Properties │ ├── Category.agda │ ├── Equivalences.agda │ ├── LaxBraided.agda │ ├── LaxProduct.agda │ ├── Lemmas.agda │ ├── Monoidal.agda │ └── TwoCategory.agda │ ├── Session.agda │ ├── Stateful.agda │ ├── Strict.agda │ ├── Trace.agda │ ├── UTF8.agda │ └── Weight.agda └── agda-system-io.agda-lib /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/README.md -------------------------------------------------------------------------------- /src/Data/ByteString.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/ByteString.agda -------------------------------------------------------------------------------- /src/Data/ByteString/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/ByteString/Primitive.agda -------------------------------------------------------------------------------- /src/Data/ByteString/UTF8.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/ByteString/UTF8.agda -------------------------------------------------------------------------------- /src/Data/ByteString/UTF8/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/ByteString/UTF8/Primitive.agda -------------------------------------------------------------------------------- /src/Data/Char/Classifier.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Char/Classifier.agda -------------------------------------------------------------------------------- /src/Data/Char/Classifier/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Char/Classifier/Primitive.agda -------------------------------------------------------------------------------- /src/Data/Natural.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Natural.agda -------------------------------------------------------------------------------- /src/Data/Natural/AgdaFFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Natural/AgdaFFI.hs -------------------------------------------------------------------------------- /src/Data/Natural/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Natural/Primitive.agda -------------------------------------------------------------------------------- /src/Data/Strict.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Strict.agda -------------------------------------------------------------------------------- /src/Data/Strict/AgdaFFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Strict/AgdaFFI.hs -------------------------------------------------------------------------------- /src/Data/Strict/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Strict/Primitive.agda -------------------------------------------------------------------------------- /src/Data/Word.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Word.agda -------------------------------------------------------------------------------- /src/Data/Word/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/Data/Word/Primitive.agda -------------------------------------------------------------------------------- /src/System/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO.agda -------------------------------------------------------------------------------- /src/System/IO/AgdaFFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/AgdaFFI.hs -------------------------------------------------------------------------------- /src/System/IO/Examples/DevNull.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/DevNull.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/Four.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/Four.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/HelloFour.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/HelloFour.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/HelloRaw.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/HelloRaw.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/HelloUser.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/HelloUser.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/HelloWorld.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/HelloWorld.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/Transducers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/Transducers.agda -------------------------------------------------------------------------------- /src/System/IO/Examples/WC.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Examples/WC.agda -------------------------------------------------------------------------------- /src/System/IO/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Primitive.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Bytes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Bytes.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Function.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Function.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/IO.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Lazy.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Lazy.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/List.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/List.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/Category.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/Category.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/Equivalences.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/Equivalences.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/LaxBraided.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/LaxBraided.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/LaxProduct.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/LaxProduct.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/Lemmas.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/Lemmas.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/Monoidal.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/Monoidal.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Properties/TwoCategory.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Properties/TwoCategory.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Session.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Session.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Stateful.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Stateful.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Strict.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Strict.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Trace.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Trace.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/UTF8.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/UTF8.agda -------------------------------------------------------------------------------- /src/System/IO/Transducers/Weight.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-system-io/HEAD/src/System/IO/Transducers/Weight.agda -------------------------------------------------------------------------------- /src/agda-system-io.agda-lib: -------------------------------------------------------------------------------- 1 | name: agda-system-io 2 | include: src --------------------------------------------------------------------------------