Topics tagged algebraic_data

Topic	Replies	Views	Activity
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	293	April 6, 2024
Will the new type system allow defining Sum types? Questions / Help algebraic_data_type , static-types , sum-types	17	1347	March 7, 2024
How to define Macro for a new Type? Questions / Help algebraic_data_type , macro , types , defmacro	9	1943	April 6, 2022
Incorrect dialyzer warning with defguard Questions / Help dialyzer , algebraic_data_type , defguard , types	1	804	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	2466	June 1, 2021
Wonderland - functional programming library Libraries monads , algebraic_data_type , encapsulation , type-classes , wonderland , functors , applicatives	0	793	March 15, 2020
How to make Dialyzer more strict? Questions / Help dialyzer , algebraic_data_type , typespecs	51	10066	January 13, 2020
Highly advanced type constructors in Elixir Questions / Help syntax , algebraic_data_type	2	987	May 17, 2018
How to declare type variables using elixir/dialyixir? Questions / Help dialyzer , typespecs , dialyxir , algebraic_data_type	16	4284	May 4, 2018
Algebraic Data Types (Functors, Monads, etc) General Prog (Archived) monads , algebraic_data_type	2	5675	January 13, 2017