MarisaKirisame/algebraic_data_type

Issues

• match expression arg is linear

  #23 opened 8 years ago by MarisaKirisame
  0

• match on multiple adt on the same time

  #30 opened 8 years ago by MarisaKirisame
  0

• Matching on equal arg

  #31 opened 8 years ago by MarisaKirisame
  0

• Make bridge and allow match for non-adt

  #32 opened 8 years ago by MarisaKirisame
  0

• User Defined Matches

  #33 opened 8 years ago by MarisaKirisame
  0

• get destruct_match

  #34 opened 8 years ago by MarisaKirisame
  0

• Consider making "with" optional

  #35 opened 8 years ago by MarisaKirisame
  0

• extract_recursive_wrapper< reference_wrapper< ... > > is ad hoc

  #36 opened 8 years ago by MarisaKirisame
  0

• To use a new generic container one need to specialize in 3 place

  #37 opened 8 years ago by MarisaKirisame
  0

• The namespace mechanism is broken.

  #29 opened 8 years ago by MarisaKirisame
  0

• Allow to declare local ADT

  #8 opened 8 years ago by MarisaKirisame
  0

• Add basic type

  #5 opened 8 years ago by MarisaKirisame
  0

• Switch to boost::hana

  #4 opened 8 years ago by MarisaKirisame
  0

• allow exploit of F algebra

  #42 opened 8 years ago by MarisaKirisame
  0

• too much boxing, be more aggressive

  #41 opened 8 years ago by MarisaKirisame
  0

• bug in to variant converter

  #40 opened 8 years ago by MarisaKirisame
  0

• match should be out of here

  #39 opened 8 years ago by MarisaKirisame
  0

• consider using a handmake variant

  #38 opened 8 years ago by MarisaKirisame
  0

• compare brevity to https://github.com/sviperll/adt4j

  #28 opened 8 years ago by MarisaKirisame
  0

• boost::mpl::int_ should be std::integral_constant

  #25 opened 8 years ago by MarisaKirisame
  0

• Use Document System

  #12 opened 8 years ago by MarisaKirisame
  0

• Check for redundancy or non exhaustiveness

  #11 opened 8 years ago by MarisaKirisame
  0

• GADT

  #10 opened 8 years ago by MarisaKirisame
  0

• Add support for lazy

  #2 opened 8 years ago by MarisaKirisame
  0

• Add generic

  #3 opened 8 years ago by MarisaKirisame
  0

• Make a declare constructors to avoid boilerplate

  #27 opened 9 years ago by MarisaKirisame
  0

• Cant check for bool trueness using pattern matching

  #22 opened 9 years ago by MarisaKirisame
  0

• I wont call that having match expr after function is a good idea

  #26 opened 9 years ago by MarisaKirisame
  0

• Object should not be construct using constructor of constructor_indicator

  #24 opened 9 years ago by MarisaKirisame
  0

• S<>(S<>(...))call S's implicit constructor

  #21 opened 9 years ago by MarisaKirisame
  1

• Use a single constructor instead of operator() to construct ADT

  #15 opened 9 years ago by MarisaKirisame
  0

• Put std::tuple on a more special role

  #14 opened 9 years ago by MarisaKirisame
  1

• fix problem about match

  #19 opened 9 years ago by MarisaKirisame
  0

• draw clear disctinction between match/test and multimatch/multitest

  #20 opened 9 years ago by MarisaKirisame
  0

• Because variant provides special support for recursive_wrapper, clients may treat the resultant variant as though the wrapper were not present. This is seen in the implementation of the following visitor, which calculates the value of an expression without any reference to recursive_wrapper:

  #17 opened 9 years ago by MarisaKirisame
  1

• Bug triggered.

  #13 opened 9 years ago by MarisaKirisame
  0

• Use less recursive wrapper

  #7 opened 9 years ago by MarisaKirisame
  0

• DeclareConstructor won't work with parameterized ADT.

  #9 opened 10 years ago by MarisaKirisame
  1

• Add test case

  #6 opened 10 years ago by MarisaKirisame
  0

• Refactor

  #1 opened 10 years ago by MarisaKirisame
  0