├── .gitignore ├── LICENSE ├── README.md ├── experimental ├── datatype.rkt └── example.rkt ├── info.rkt ├── main.rkt └── private ├── details.md ├── example-type.rkt ├── example-usage.rkt ├── example.rkt ├── parse-type.rkt └── type-case.rkt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/README.md -------------------------------------------------------------------------------- /experimental/datatype.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/experimental/datatype.rkt -------------------------------------------------------------------------------- /experimental/example.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/experimental/example.rkt -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/info.rkt -------------------------------------------------------------------------------- /main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/main.rkt -------------------------------------------------------------------------------- /private/details.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/details.md -------------------------------------------------------------------------------- /private/example-type.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/example-type.rkt -------------------------------------------------------------------------------- /private/example-usage.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/example-usage.rkt -------------------------------------------------------------------------------- /private/example.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/example.rkt -------------------------------------------------------------------------------- /private/parse-type.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/parse-type.rkt -------------------------------------------------------------------------------- /private/type-case.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pnwamk/datatype/HEAD/private/type-case.rkt --------------------------------------------------------------------------------