Packages

type_check

0.4.0
0.13.7 0.13.6 0.13.5 0.13.4 0.13.3 0.13.2 0.13.1 0.12.4 0.12.3 0.12.2 0.12.1 0.12.0 0.11.0 0.10.8 0.10.7 0.10.6 0.10.5 0.10.4 0.10.3 0.10.2 0.10.1 0.10.0 0.9.0 0.8.2 0.8.1 0.8.0 0.7.0 0.6.0 0.5.0 0.4.0 0.3.2 0.3.1 0.3.0 0.2.3 0.2.2 0.2.1 0.2.0 0.1.2 0.1.1 0.1.0

Fast and flexible runtime type-checking: Type checks are optimized by the compiler and types can be composed, re-used and turned into property-testing generators. TypeCheck also focuses on showing understandable messages on typecheck-failures.

HexDocs

Current section

Files

Jump to
Readme
40 Versions
1 Dependency
Dependants
Files
Activity
type_check lib type_overrides.ex
Raw

lib/type_overrides.ex 

defmodule TypeOverrides do

  use TypeCheck

  import TypeCheck.Builtin

  @type! custom_enum() :: impl(Enumerable)

end