@@ -1,4 +1,5 @@
1{-# LANGUAGE BangPatterns #-}
1{-# LANGUAGE BangPatterns #-}
2{-# LANGUAGE ConstraintKinds #-}
3{-# LANGUAGE ConstraintKinds #-}
3{-# LANGUAGE DataKinds #-}
4{-# LANGUAGE DataKinds #-}
4{-# LANGUAGE ExistentialQuantification #-}
5{-# LANGUAGE ExistentialQuantification #-}
@@ -108,6 +109,7 @@ instance RecEq lts lts => Eq (Rec lts) where
108 (==) (a :: Rec lts) (b :: Rec lts) = recEq a b (Proxy :: Proxy lts)
109 (==) (a :: Rec lts) (b :: Rec lts) = recEq a b (Proxy :: Proxy lts)
109 {-# INLINE (==) #-}
110 {-# INLINE (==) #-}
112 ( RecApply lts lts ToJSON
114 ( RecApply lts lts ToJSON
@@ -118,6 +120,7 @@ instance
119instance (RecSize lts ~ s, KnownNat s, RecJsonParse lts) => FromJSON (Rec lts) where
121instance (RecSize lts ~ s, KnownNat s, RecJsonParse lts) => FromJSON (Rec lts) where
120 parseJSON = recJsonParser defaultJSONOptions
122 parseJSON = recJsonParser defaultJSONOptions
122instance RecNfData lts lts => NFData (Rec lts) where
125instance RecNfData lts lts => NFData (Rec lts) where
123 rnf = recNfData (Proxy :: Proxy lts)
126 rnf = recNfData (Proxy :: Proxy lts)