Topics tagged algebraic_data

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