README
¶
Typem
This is a library of simple tools for generating code for reciever methods over modularised types. The goal of this is to make it more ergonomic to create types where you can't create invariants from outside the program.
Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
sizedslice
command
sizedslice is a tool to automate creation of slices with maximum and minimum sizes.
|
sizedslice is a tool to automate creation of slices with maximum and minimum sizes. |
|
generator
|
|
|
internal
|
|
|
examples
examples are used to experiment with ideas.
|
examples are used to experiment with ideas. |
|
types
|
|
Click to show internal directories.
Click to hide internal directories.