Remove getEmpty() methods
authorwidmogrod <widmogrod@gmail.com>
Sat, 23 Dec 2017 21:24:57 +0000 (22:24 +0100)
committerwidmogrod <widmogrod@gmail.com>
Sat, 23 Dec 2017 21:24:57 +0000 (22:24 +0100)
commit168b01b32af8ab9097b55b1563209e37d2da1442
tree5204b9ab286c60de78f7d79b492553e8f59ebd3b
parentc9c87990b7667bd2ebfd161f0acaf7cabcb5d4e4
Remove getEmpty() methods
src/Monad/Maybe/Just.php
src/Monad/Maybe/Nothing.php
src/Primitive/ListtCons.php
src/Primitive/ListtNil.php
src/Primitive/Product.php
src/Primitive/Stringg.php
src/Primitive/Sum.php