<commit_before>{-# OPTIONS_GHC -fglasgow-exts -XUndecidableInstances #-}

module Yaiba.Sugar where

import Yaiba.Monomial
import Math.Algebra.Field.Base

--Sugar tuples consist of the LT and the sugar itself
newtype Sugar ord = S (Mon ord,Q,Int)

instance Eq (Sugar ord) where --Dummy instance, use compare instead

instance (Ord (Mon ord)) => Ord (Sugar ord) where
  compare (S (_,_,a)) (S (_,_,b)) = compare a b
  
instance (Ord (Mon ord)) => Show (Sugar ord) where
  show (S (a,b,c)) = "("++(show a)++", "++(show b)++", "++(show c)++")"<commit_msg>Removed some unnecessary type enforcenments<commit_after>{-# OPTIONS_GHC -fglasgow-exts -XUndecidableInstances #-}

module Yaiba.Sugar where

import Yaiba.Monomial
import Math.Algebra.Field.Base

--Sugar tuples consist of the LT and the sugar itself
newtype Sugar ord = S (Mon ord,Q,Int)

instance Eq (Sugar ord) where --Dummy instance, use compare instead

instance Ord (Sugar ord) where
  compare (S (_,_,a)) (S (_,_,b)) = compare a b
  
instance Show (Sugar ord) where
  show (S (a,b,c)) = "("++(show a)++", "++(show b)++", "++(show c)++")"
{'fraction_non_alphanumeric': 0.16270566727605118, 'fraction_numerical': 0.0, 'mean_word_length': 4.50251256281407, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5780896', 'n_tokens_mistral': 407, 'n_tokens_neox': 398, 'n_words': 137}