View Source TypeCheck.CompileError exception (TypeCheck v0.12.0)
Raised when during compilation of types or specifications, an irrecoverable error occurs.
- Main
- TypeCheck
- TypeCheck.Defstruct
- TypeCheck.ExUnit
- TypeCheck.External
- TypeCheck.Macros
- TypeCheck.Options
- TypeCheck.Spec
- TypeCheck.Type
- Errors and Formatting them
- TypeCheck.TypeError
- .DefaultFormatter
- .Formatter
- Property Testing
- TypeCheck.Type.StreamData
- Builtin Types
-
TypeCheck.Builtin
- Summary
-
Built-in Elixir types
- any/0
- arity/0
- as_boolean/1
- atom/0
- binary/0
- bitstring/0
- boolean/0
- byte/0
- char/0
- charlist/0
- fixed_map/1
- fixed_tuple/1
- float/0
- fun/0
- function/0
- function/1
- function/2
- identifier/0
- integer/0
- iodata/0
- iolist/0
- keyword/0
- keyword/1
- list/0
- list/1
- literal/1
- map/0
- map/2
- maybe_improper_list/0
- maybe_improper_list/2
- mfa/0
- module/0
- neg_integer/0
- no_return/0
- non_neg_integer/0
- none/0
- nonempty_binary/0
- nonempty_bitstring/0
- nonempty_charlist/0
- nonempty_improper_list/2
- nonempty_list/0
- nonempty_list/1
- nonempty_maybe_improper_list/2
- number/0
- one_of/1
- one_of/2
- pid/0
- port/0
- pos_integer/0
- range/1
- range/2
- reference/0
- sized_bitstring/1
- sized_bitstring/2
- struct/0
- term/0
- timeout/0
- tuple/0
- Extensions
- .Any
- .Atom
- .Binary
- .Bitstring
- .Boolean
- .CompoundFixedMap
- .FixedList
- .FixedMap
- .FixedTuple
- .Float
- .Function
- .Guarded
- .ImplementsProtocol
- .Integer
- .Lazy
- .List
- .Literal
- .Map
- .MaybeImproperList
- .NamedType
- .NegInteger
- .NonNegInteger
- .None
- .Number
- .OneOf
- .PID
- .Port
- .PosInteger
- .Range
- .Reference
- .SizedBitstring
- .Tuple
- Standard Library overrides
- TypeCheck.DefaultOverrides
- .Access
- .Agent
- .Application
- .Base
- .Calendar
- .Calendar.ISO
- .Calendar.TimeZoneDatabase
- .Code
- .Code.Fragment
- .Collectable
- .Config.Provider
- .Date
- .Date.Range
- .DateTime
- .DynamicSupervisor
- .Enum
- .Enumerable
- .Erlang.Binary
- .Erlang.Calendar
- .Erlang.Inet
- .Exception
- .File
- .File.Stat
- .File.Stream
- .Float
- .Function
- .GenServer
- .IO
- .IO.ANSI
- .IO.Stream
- .Inspect
- .Inspect.Algebra
- .Inspect.Opts
- .Kernel.ParallelCompiler
- .Keyword
- .List.Chars
- .Macro
- .Macro.Env
- .Map
- .MapSet
- .Module
- .NaiveDateTime
- .Node
- .OptionParser
- .Path
- .Port
- .Process
- .Range
- .Regex
- .Registry
- .Stream
- .String
- .String.Chars
- .Supervisor
- .System
- .Task
- .Task.Supervisor
- .Time
- .URI
- .Version
- .Version.Requirement
- Other
-
TypeCheck.CompileError
- TypeCheck.Credo.Check.Readability.Specs