├── .github └── workflows │ └── ci.yml ├── .gitignore ├── LICENCE ├── LICENCES ├── heterogeneous-extrablatt.LICENCE └── record-extra.LICENCE ├── README.md ├── bower.json ├── package.json ├── packages.dhall ├── spago.dhall ├── src └── Record │ ├── Studio.purs │ └── Studio │ ├── Keys.purs │ ├── Map.purs │ ├── MapKind.purs │ ├── MapUniform.purs │ ├── Merge.purs │ ├── SameKeys.purs │ ├── Sequence.purs │ ├── SequenceUniform.purs │ ├── Shrink.js │ ├── Shrink.purs │ ├── SingletonRecord.js │ └── SingletonRecord.purs ├── test.dhall └── test ├── KeysSpec.purs ├── Main.purs ├── MapRecordKindSpec.purs ├── MapRecordSpec.purs ├── MapUniformRecordSpec.purs ├── MergeFlippedSpec.purs ├── SameKeysSpec.purs ├── SequenceSpec.purs ├── SequenceUniformRecordSpec.purs ├── ShrinkSpec.purs └── SingletonRecordSpec.purs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/LICENCE -------------------------------------------------------------------------------- /LICENCES/heterogeneous-extrablatt.LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/LICENCES/heterogeneous-extrablatt.LICENCE -------------------------------------------------------------------------------- /LICENCES/record-extra.LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/LICENCES/record-extra.LICENCE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/README.md -------------------------------------------------------------------------------- /bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/bower.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/package.json -------------------------------------------------------------------------------- /packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/packages.dhall -------------------------------------------------------------------------------- /spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/spago.dhall -------------------------------------------------------------------------------- /src/Record/Studio.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio.purs -------------------------------------------------------------------------------- /src/Record/Studio/Keys.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Keys.purs -------------------------------------------------------------------------------- /src/Record/Studio/Map.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Map.purs -------------------------------------------------------------------------------- /src/Record/Studio/MapKind.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/MapKind.purs -------------------------------------------------------------------------------- /src/Record/Studio/MapUniform.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/MapUniform.purs -------------------------------------------------------------------------------- /src/Record/Studio/Merge.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Merge.purs -------------------------------------------------------------------------------- /src/Record/Studio/SameKeys.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/SameKeys.purs -------------------------------------------------------------------------------- /src/Record/Studio/Sequence.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Sequence.purs -------------------------------------------------------------------------------- /src/Record/Studio/SequenceUniform.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/SequenceUniform.purs -------------------------------------------------------------------------------- /src/Record/Studio/Shrink.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Shrink.js -------------------------------------------------------------------------------- /src/Record/Studio/Shrink.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/Shrink.purs -------------------------------------------------------------------------------- /src/Record/Studio/SingletonRecord.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/SingletonRecord.js -------------------------------------------------------------------------------- /src/Record/Studio/SingletonRecord.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/src/Record/Studio/SingletonRecord.purs -------------------------------------------------------------------------------- /test.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test.dhall -------------------------------------------------------------------------------- /test/KeysSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/KeysSpec.purs -------------------------------------------------------------------------------- /test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/Main.purs -------------------------------------------------------------------------------- /test/MapRecordKindSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/MapRecordKindSpec.purs -------------------------------------------------------------------------------- /test/MapRecordSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/MapRecordSpec.purs -------------------------------------------------------------------------------- /test/MapUniformRecordSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/MapUniformRecordSpec.purs -------------------------------------------------------------------------------- /test/MergeFlippedSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/MergeFlippedSpec.purs -------------------------------------------------------------------------------- /test/SameKeysSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/SameKeysSpec.purs -------------------------------------------------------------------------------- /test/SequenceSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/SequenceSpec.purs -------------------------------------------------------------------------------- /test/SequenceUniformRecordSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/SequenceUniformRecordSpec.purs -------------------------------------------------------------------------------- /test/ShrinkSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/ShrinkSpec.purs -------------------------------------------------------------------------------- /test/SingletonRecordSpec.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rowtype-yoga/purescript-record-studio/HEAD/test/SingletonRecordSpec.purs --------------------------------------------------------------------------------