Add Eq instance for Universe in reflection
commitcf6c2777154450cdbc4f96c36d9800ea7781ea28
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 13 Aug 2015, 17:15 (11 years ago)
parent82c2735
libs/base/Language/Reflection/Utils.idr+6
@@ -242,6 +242,12 @@ instance Eq TT where
242242 equalp (TType u) (TType u') = u == u'
243243 equalp x y = False
244244
245+instance Eq Universe where
246+ Reflection.NullType == Reflection.NullType = True
247+ Reflection.UniqueType == Reflection.UniqueType = True
248+ Reflection.AllTypes == Reflection.AllTypes = True
249+ _ == _ = False
250+
245251total
246252forget : TT -> Maybe Raw
247253forget tm = fe [] tm