ityonemo/mavis

View on GitHub

opinionated typing library for elixir

Stars: 110
Forks: 4
Open beginner issues: 0
Indexed issues: 21

Dominant language: Elixir
License: MIT
Last GitHub push: Jan 1, 2021
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Open All

21 open issues indexed

should one generally put `optional(any) => any` into maps? Open

deviations from erlang/elixir

ityonemo/mavis#4 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
add nestable meta-information for type.function matching. Open

ityonemo/mavis#5 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
add nestable information for List maybes and errors Open

ityonemo/mavis#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
open questions about Erlang Types Open

ityonemo/mavis#15 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
write a property test checking that supertypes are always greater than their subtype. Open

good first issue testing

ityonemo/mavis#18 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Create Type.Api Open

ityonemo/mavis#32 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
property tests generators for the type system Open

good first issue testing

ityonemo/mavis#37 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
identify deficiencies in the documentation Open

documentation good first issue

ityonemo/mavis#43 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure that Type.Messages can be inspect'ed to produce coherent error messages Open

ityonemo/mavis#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
consider making Type.Messages somehow nestable so that dependent typing information can be communicated Open

ityonemo/mavis#81 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure warnings for String.t are not confusing if one is fixed size. Open

ityonemo/mavis#84 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
check that deviations from standard elixir can be turned off. Open

ityonemo/mavis#120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make a Function.Bundle type that isn't a union. Open

ityonemo/mavis#130 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Subtraction types Open

ityonemo/mavis#131 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
use rangeresolve(a, b) for more logic in the range module Open

ityonemo/mavis#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
double check that floats don't cause problems in range type operations Open

ityonemo/mavis#142 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
composable message scheme Open

ityonemo/mavis#143 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
message simplification Open

ityonemo/mavis#144 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make sure inspects of [] with generic types don't come out strange. Open

bug

ityonemo/mavis#145 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
property test to make sure that inspected components in a union are in type order. Open

testing

ityonemo/mavis#146 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
type macro isn't quite right about some things Open

ityonemo/mavis#149 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026

ityonemo/mavis

Get new issues in your inbox