├── .gitignore ├── .tidyrc.json ├── LICENSE ├── README.md ├── packages.dhall ├── spago.dhall ├── src └── Type │ ├── Eval.purs │ └── Eval │ ├── Boolean.purs │ ├── Dispatch.purs │ ├── Foldable.purs │ ├── Function.purs │ ├── Functor.purs │ ├── Row.purs │ ├── RowList.purs │ ├── Tuple.purs │ ├── Unit.purs │ └── ValueOf.purs └── test └── Main.purs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/.gitignore -------------------------------------------------------------------------------- /.tidyrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/.tidyrc.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/README.md -------------------------------------------------------------------------------- /packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/packages.dhall -------------------------------------------------------------------------------- /spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/spago.dhall -------------------------------------------------------------------------------- /src/Type/Eval.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval.purs -------------------------------------------------------------------------------- /src/Type/Eval/Boolean.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Boolean.purs -------------------------------------------------------------------------------- /src/Type/Eval/Dispatch.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Dispatch.purs -------------------------------------------------------------------------------- /src/Type/Eval/Foldable.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Foldable.purs -------------------------------------------------------------------------------- /src/Type/Eval/Function.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Function.purs -------------------------------------------------------------------------------- /src/Type/Eval/Functor.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Functor.purs -------------------------------------------------------------------------------- /src/Type/Eval/Row.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Row.purs -------------------------------------------------------------------------------- /src/Type/Eval/RowList.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/RowList.purs -------------------------------------------------------------------------------- /src/Type/Eval/Tuple.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Tuple.purs -------------------------------------------------------------------------------- /src/Type/Eval/Unit.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/Unit.purs -------------------------------------------------------------------------------- /src/Type/Eval/ValueOf.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/src/Type/Eval/ValueOf.purs -------------------------------------------------------------------------------- /test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/natefaubion/purescript-typelevel-eval/HEAD/test/Main.purs --------------------------------------------------------------------------------