https://github.com/bhgomes/subtypes.jl

Custom Subtyping in Julia
https://github.com/bhgomes/subtypes.jl

custom-types julia julia-language subtype subtypes typing

Last synced: about 1 month ago
JSON representation

Custom Subtyping in Julia

• Host: GitHub
• URL: https://github.com/bhgomes/subtypes.jl
• Owner: bhgomes
• License: unlicense
• Created: 2019-10-29T15:38:51.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-10-17T18:06:12.000Z (about 4 years ago)
• Last Synced: 2024-10-14T16:42:59.972Z (about 1 month ago)
• Topics: custom-types, julia, julia-language, subtype, subtypes, typing
• Language: Julia
• Homepage:
• Size: 39.1 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml

Awesome Lists containing this project

README

        


# SubTypes.jl

[![Stable Docs](https://img.shields.io/badge/docs-stable-blue.svg?style=flat-square)](https://bhgomes.github.io/SubTypes.jl/stable)

[![Latest Docs](https://img.shields.io/badge/docs-latest-blue.svg?style=flat-square)](https://bhgomes.github.io/SubTypes.jl/latest)

[![Travis Build Status](https://img.shields.io/travis/com/bhgomes/SubTypes.jl?style=flat-square)](https://travis-ci.com/bhgomes/SubTypes.jl)

[![Appveyor Build status](https://img.shields.io/appveyor/ci/bhgomes/subtypes-jl?style=flat-square)](https://ci.appveyor.com/project/bhgomes/subtypes-jl)

[![Formatting](https://img.shields.io/badge/format-tab%204%20margin%2096-888?style=flat-square)](https://github.com/domluna/JuliaFormatter.jl)

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3525301.svg)](https://doi.org/10.5281/zenodo.3525301)

_Custom Subtyping in Julia_



## Installation

To install, run the following in a Julia session:

```julia

]add SubTypes

```

## Custom Subtype

To create a custom subtype define the following data

```

SubType{T, P, Ctx}

        ^  ^  ^

        |  |  |

        |  |  L ______ Type Context

        |  L _________ Predicate Data

        L ____________ Underlying Type

```

and a predicate processing function

```julia

check_predicate(P, Val(Ctx), x::T)

```

which checks if `x::T` should be of type `SubType{T, P, Ctx}`. The context `Ctx` is the way to mark the subtypes for overloading.

## Predefined Custom Subtypes

The custom subtypes `Constrained` and `ConstrainedSymbol` are predefined in the `SubType` module. They emulate set inclusion subtyping, i.e.

```julia

x::Constrained{T, S}  <=>  x.value::T in S

```

The `ConstrainedSymbol` type emulates set inclusion for `Symbol` types. The `Constrained` type is defined as follows:

```julia

const Constrained{T,S} = SubType{T,S,:Constrained}

```

Inspiration for this type comes from [this post](https://discourse.julialang.org/t/creating-custom-type-of-enumerations-of-symbols/18635/7) by Mohamed Tarek [@mohamed82008](https://github.com/mohamed82008).

## Helper Functions

This module also comes with these helper functions defined for terms and types:

| Helper Function | Component | Description |

|-----------------|-----------|-------------|

| `eltype` | `SubType{T} => T` | The underlying type where the subtype terms are drawn from. |

| `predicate` | `SubType{T,P} => P` | The predicate data which determines the subtype terms. |

| `context` | `SubType{T,P,Ctx} => Ctx` | The implementation label for the `check_predicate` function. |

| `support` | `Constrained{T,S} => S` | The underlying set where the constrained variables are constrained to. |

---



[![Author](https://img.shields.io/badge/-bhgomes-blue?style=for-the-badge)](https://github.com/bhgomes)

[![License](https://img.shields.io/badge/-UNLICENSE-lightgray?style=for-the-badge)](UNLICENSE)

[![GitHub Repo](https://img.shields.io/badge/-GitHub-black?style=for-the-badge)](https://github.com/bhgomes/SubTypes.jl)