on 895e5fd help sign in
15 files
../ Either.hsFill in missing EqTable and OrdTable instances Identity.hsUse data family for HTable contexts Label.hsRemove Opaque constraint synonyms List.hsUse data family for HTable contexts MapTable.hsFill in missing EqTable and OrdTable instances Maybe.hsFill in missing EqTable and OrdTable instances NonEmpty.hsUse data family for HTable contexts Nullify.hsRename all the null things Pair.hsUse data family for HTable contexts Quartet.hsUse data family for HTable contexts Quintet.hsUse data family for HTable contexts These.hsSimplify Spec to just labels, necessity and type Trio.hsUse data family for HTable contexts Type.hsRename all the null things Vectorize.hsRename all the null things