Topics tagged algebraic_data

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