├── .eslintrc.json ├── .github ├── PULL_REQUEST_TEMPLATE.md └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── bower.json ├── package.json ├── src ├── Control │ ├── Applicative.purs │ ├── Apply.js │ ├── Apply.purs │ ├── Bind.js │ ├── Bind.purs │ ├── Category.purs │ ├── Monad.purs │ └── Semigroupoid.purs ├── Data │ ├── Boolean.purs │ ├── BooleanAlgebra.purs │ ├── Bounded.js │ ├── Bounded.purs │ ├── Bounded │ │ └── Generic.purs │ ├── CommutativeRing.purs │ ├── DivisionRing.purs │ ├── Eq.js │ ├── Eq.purs │ ├── Eq │ │ └── Generic.purs │ ├── EuclideanRing.js │ ├── EuclideanRing.purs │ ├── Field.purs │ ├── Function.purs │ ├── Functor.js │ ├── Functor.purs │ ├── Generic │ │ └── Rep.purs │ ├── HeytingAlgebra.js │ ├── HeytingAlgebra.purs │ ├── HeytingAlgebra │ │ └── Generic.purs │ ├── Monoid.purs │ ├── Monoid │ │ ├── Additive.purs │ │ ├── Conj.purs │ │ ├── Disj.purs │ │ ├── Dual.purs │ │ ├── Endo.purs │ │ ├── Generic.purs │ │ └── Multiplicative.purs │ ├── NaturalTransformation.purs │ ├── Ord.js │ ├── Ord.purs │ ├── Ord │ │ └── Generic.purs │ ├── Ordering.purs │ ├── Reflectable.js │ ├── Reflectable.purs │ ├── Ring.js │ ├── Ring.purs │ ├── Ring │ │ └── Generic.purs │ ├── Semigroup.js │ ├── Semigroup.purs │ ├── Semigroup │ │ ├── First.purs │ │ ├── Generic.purs │ │ └── Last.purs │ ├── Semiring.js │ ├── Semiring.purs │ ├── Semiring │ │ └── Generic.purs │ ├── Show.js │ ├── Show.purs │ ├── Show │ │ ├── Generic.js │ │ └── Generic.purs │ ├── Symbol.js │ ├── Symbol.purs │ ├── Unit.js │ ├── Unit.purs │ └── Void.purs ├── Prelude.purs ├── Record │ ├── Unsafe.js │ └── Unsafe.purs └── Type │ └── Proxy.purs └── test ├── Data └── Generic │ └── Rep.purs └── Test ├── Main.js ├── Main.purs ├── Utils.js └── Utils.purs /.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/.eslintrc.json -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/README.md -------------------------------------------------------------------------------- /bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/bower.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/package.json -------------------------------------------------------------------------------- /src/Control/Applicative.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Applicative.purs -------------------------------------------------------------------------------- /src/Control/Apply.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Apply.js -------------------------------------------------------------------------------- /src/Control/Apply.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Apply.purs -------------------------------------------------------------------------------- /src/Control/Bind.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Bind.js -------------------------------------------------------------------------------- /src/Control/Bind.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Bind.purs -------------------------------------------------------------------------------- /src/Control/Category.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Category.purs -------------------------------------------------------------------------------- /src/Control/Monad.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Monad.purs -------------------------------------------------------------------------------- /src/Control/Semigroupoid.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Control/Semigroupoid.purs -------------------------------------------------------------------------------- /src/Data/Boolean.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Boolean.purs -------------------------------------------------------------------------------- /src/Data/BooleanAlgebra.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/BooleanAlgebra.purs -------------------------------------------------------------------------------- /src/Data/Bounded.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Bounded.js -------------------------------------------------------------------------------- /src/Data/Bounded.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Bounded.purs -------------------------------------------------------------------------------- /src/Data/Bounded/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Bounded/Generic.purs -------------------------------------------------------------------------------- /src/Data/CommutativeRing.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/CommutativeRing.purs -------------------------------------------------------------------------------- /src/Data/DivisionRing.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/DivisionRing.purs -------------------------------------------------------------------------------- /src/Data/Eq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Eq.js -------------------------------------------------------------------------------- /src/Data/Eq.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Eq.purs -------------------------------------------------------------------------------- /src/Data/Eq/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Eq/Generic.purs -------------------------------------------------------------------------------- /src/Data/EuclideanRing.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/EuclideanRing.js -------------------------------------------------------------------------------- /src/Data/EuclideanRing.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/EuclideanRing.purs -------------------------------------------------------------------------------- /src/Data/Field.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Field.purs -------------------------------------------------------------------------------- /src/Data/Function.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Function.purs -------------------------------------------------------------------------------- /src/Data/Functor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Functor.js -------------------------------------------------------------------------------- /src/Data/Functor.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Functor.purs -------------------------------------------------------------------------------- /src/Data/Generic/Rep.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Generic/Rep.purs -------------------------------------------------------------------------------- /src/Data/HeytingAlgebra.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/HeytingAlgebra.js -------------------------------------------------------------------------------- /src/Data/HeytingAlgebra.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/HeytingAlgebra.purs -------------------------------------------------------------------------------- /src/Data/HeytingAlgebra/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/HeytingAlgebra/Generic.purs -------------------------------------------------------------------------------- /src/Data/Monoid.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Additive.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Additive.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Conj.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Conj.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Disj.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Disj.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Dual.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Dual.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Endo.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Endo.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Generic.purs -------------------------------------------------------------------------------- /src/Data/Monoid/Multiplicative.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Monoid/Multiplicative.purs -------------------------------------------------------------------------------- /src/Data/NaturalTransformation.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/NaturalTransformation.purs -------------------------------------------------------------------------------- /src/Data/Ord.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ord.js -------------------------------------------------------------------------------- /src/Data/Ord.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ord.purs -------------------------------------------------------------------------------- /src/Data/Ord/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ord/Generic.purs -------------------------------------------------------------------------------- /src/Data/Ordering.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ordering.purs -------------------------------------------------------------------------------- /src/Data/Reflectable.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Reflectable.js -------------------------------------------------------------------------------- /src/Data/Reflectable.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Reflectable.purs -------------------------------------------------------------------------------- /src/Data/Ring.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ring.js -------------------------------------------------------------------------------- /src/Data/Ring.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ring.purs -------------------------------------------------------------------------------- /src/Data/Ring/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Ring/Generic.purs -------------------------------------------------------------------------------- /src/Data/Semigroup.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semigroup.js -------------------------------------------------------------------------------- /src/Data/Semigroup.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semigroup.purs -------------------------------------------------------------------------------- /src/Data/Semigroup/First.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semigroup/First.purs -------------------------------------------------------------------------------- /src/Data/Semigroup/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semigroup/Generic.purs -------------------------------------------------------------------------------- /src/Data/Semigroup/Last.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semigroup/Last.purs -------------------------------------------------------------------------------- /src/Data/Semiring.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semiring.js -------------------------------------------------------------------------------- /src/Data/Semiring.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semiring.purs -------------------------------------------------------------------------------- /src/Data/Semiring/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Semiring/Generic.purs -------------------------------------------------------------------------------- /src/Data/Show.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Show.js -------------------------------------------------------------------------------- /src/Data/Show.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Show.purs -------------------------------------------------------------------------------- /src/Data/Show/Generic.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Show/Generic.js -------------------------------------------------------------------------------- /src/Data/Show/Generic.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Show/Generic.purs -------------------------------------------------------------------------------- /src/Data/Symbol.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Symbol.js -------------------------------------------------------------------------------- /src/Data/Symbol.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Symbol.purs -------------------------------------------------------------------------------- /src/Data/Unit.js: -------------------------------------------------------------------------------- 1 | export const unit = undefined; 2 | -------------------------------------------------------------------------------- /src/Data/Unit.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Unit.purs -------------------------------------------------------------------------------- /src/Data/Void.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Data/Void.purs -------------------------------------------------------------------------------- /src/Prelude.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Prelude.purs -------------------------------------------------------------------------------- /src/Record/Unsafe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Record/Unsafe.js -------------------------------------------------------------------------------- /src/Record/Unsafe.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Record/Unsafe.purs -------------------------------------------------------------------------------- /src/Type/Proxy.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/src/Type/Proxy.purs -------------------------------------------------------------------------------- /test/Data/Generic/Rep.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/test/Data/Generic/Rep.purs -------------------------------------------------------------------------------- /test/Test/Main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/test/Test/Main.js -------------------------------------------------------------------------------- /test/Test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/test/Test/Main.purs -------------------------------------------------------------------------------- /test/Test/Utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/test/Test/Utils.js -------------------------------------------------------------------------------- /test/Test/Utils.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/purescript/purescript-prelude/HEAD/test/Test/Utils.purs --------------------------------------------------------------------------------