├── .github ├── PULL_REQUEST_TEMPLATE.md └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── bower.json ├── package.json └── src └── Type ├── Data ├── Boolean.purs ├── Ordering.purs └── Symbol.purs ├── Function.purs ├── Prelude.purs ├── Row.purs ├── Row └── Homogeneous.purs └── RowList.purs /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/README.md -------------------------------------------------------------------------------- /bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/bower.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/package.json -------------------------------------------------------------------------------- /src/Type/Data/Boolean.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Data/Boolean.purs -------------------------------------------------------------------------------- /src/Type/Data/Ordering.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Data/Ordering.purs -------------------------------------------------------------------------------- /src/Type/Data/Symbol.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Data/Symbol.purs -------------------------------------------------------------------------------- /src/Type/Function.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Function.purs -------------------------------------------------------------------------------- /src/Type/Prelude.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Prelude.purs -------------------------------------------------------------------------------- /src/Type/Row.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Row.purs -------------------------------------------------------------------------------- /src/Type/Row/Homogeneous.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/Row/Homogeneous.purs -------------------------------------------------------------------------------- /src/Type/RowList.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-typelevel-prelude/HEAD/src/Type/RowList.purs --------------------------------------------------------------------------------