Topics tagged algebraic_data

Topic	Replies	Views	Activity
How to define Macro for a new Type? Questions / Help algebraic_data_type , defmacro , types , macro	9	983	April 6, 2022
Incorrect dialyzer warning with defguard Questions / Help types , defguard , algebraic_data_type , dialyzer	1	392	April 6, 2022
User defined tags and type-safe structs for domain modelling (Domo library) Libraries typespecs , static-types , type-checking , types , dialyzer , algebraic_data_type	12	1782	June 1, 2021
Wonderland - functional programming library Libraries monads , applicatives , functors , wonderland , type-classes , encapsulation , algebraic_data_type	0	631	March 15, 2020
How to make Dialyzer more strict? Questions / Help dialyzer , typespecs , algebraic_data_type	51	8392	January 13, 2020
Highly advanced type constructors in Elixir Questions / Help algebraic_data_type , syntax	2	841	May 17, 2018
How to declare type variables using elixir/dialyixir? Questions / Help dialyzer , algebraic_data_type , typespecs , dialyxir	16	3289	May 4, 2018
Algebraic Data Types (Functors, Monads, etc) General Prog (Archived) monads , algebraic_data_type	2	4886	January 13, 2017