<commit_before>{-# OPTIONS_GHC -fno-warn-missing-methods #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE ScopedTypeVariables, GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DeriveGeneric #-}
module PolyPaver.Form where

import System.Info (os)

import Data.Data (Data, Typeable)
import GHC.Generics (Generic)
import Data.Hashable
import Data.Ratio (denominator, numerator)
import Data.List (intercalate, sortBy)

infixr 2 --->
infixl 3 \/
infixl 4 /\
infixl 5 |<|, |<=|, |>|, |>=|, |<-|, |=|, |==|
infixl 6 +:, -:
infixl 7 *:, /:

type FormLabel = String

data Form l
  = Not (Form l)
  | Or (Form l) (Form l)
  | And (Form l) (Form l)
  | Implies (Form l) (Form l)
  | Le FormLabel (Term l) (Term l)
  | Leq FormLabel (Term l) (Term l)
  | Ge FormLabel (Term l) (Term l)
  | Geq FormLabel (Term l) (Term l)
  | Eq FormLabel (Term l) (Term l)
  | Neq FormLabel (Term l) (Term l)
  | ContainedIn FormLabel (Term l) (Term l)
  | IsRange FormLabel (Term l) (Term l) (Term l)
  | IsIntRange FormLabel (Term l) (Term l) (Term l)
  | IsInt FormLabel (Term l)<commit_msg>Defined fixity for double-precision rounded operators.<commit_after>{-# OPTIONS_GHC -fno-warn-missing-methods #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE ScopedTypeVariables, GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DeriveGeneric #-}
module PolyPaver.Form where

import System.Info (os)

import Data.Data (Data, Typeable)
import GHC.Generics (Generic)
import Data.Hashable
import Data.Ratio (denominator, numerator)
import Data.List (intercalate, sortBy)

infixr 2 --->
infixl 3 \/
infixl 4 /\
infixl 5 |<|, |<=|, |>|, |>=|, |<-|, |=|, |==|
infixl 6 +:, -:, +::, -::
infixl 7 *:, /:, *::, /::

type FormLabel = String

data Form l
  = Not (Form l)
  | Or (Form l) (Form l)
  | And (Form l) (Form l)
  | Implies (Form l) (Form l)
  | Le FormLabel (Term l) (Term l)
  | Leq FormLabel (Term l) (Term l)
  | Ge FormLabel (Term l) (Term l)
  | Geq FormLabel (Term l) (Term l)
  | Eq FormLabel (Term l) (Term l)
  | Neq FormLabel (Term l) (Term l)
  | ContainedIn FormLabel (Term l) (Term l)
  | IsRange FormLabel (Term l) (Term l) (Term l)
  | IsIntRange FormLabel (Term l) (Term l) (Term l)
  | IsInt FormLabel (Term l)
{'fraction_non_alphanumeric': 0.16507067943456452, 'fraction_numerical': 0.005471956224350205, 'mean_word_length': 3.668085106382979, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, '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': '5248099', 'n_tokens_mistral': 897, 'n_tokens_neox': 880, 'n_words': 266}