<commit_before>-- | Re-export the external Futhark modules for convenience.
module Language.Futhark
  ( module Language.Futhark.Syntax
  , module Language.Futhark.Attributes
  , module Language.Futhark.Pretty

  , Ident, DimIndex, Exp, Lambda, Pattern
  , ModExp, SigExp, ModBind
  , FunBind, ValBind, Dec, Prog
  , StructTypeArg, ArrayType
  , TypeParam
  )
  where

import Language.Futhark.Syntax
import Language.Futhark.Attributes
import Language.Futhark.Pretty

-- | An identifier with type- and aliasing information information.
type Ident = IdentBase Info VName

-- | An index with type information.
type DimIndex = DimIndexBase Info VName

-- | An expression with type information.
type Exp = ExpBase Info VName

-- | A lambda with type information.
type Lambda = LambdaBase Info VName

-- | A pattern with type information.
type Pattern = PatternBase Info VName

-- | An function declaration with type information.
type FunBind = FunBindBase Info VName

-- | An constant declaration with type information.
type ValBind = ValBindBase Info VName

-- | A type-checked module binding.
type ModBind = ModBindBase Info VName

-- | A type-checked module expression.
type ModExp = ModExpBase Info VName

-- | A type-checked module type expression.
type SigExp = SigExpBase Info VName

-- | A type-checked declaration.
type Dec = DecBase Info VName

-- | An Futhark program with type information.
type Prog = ProgBase Info VName

-- | A known type arg with shape annotations but no aliasing information.
type StructTypeArg = TypeArg (DimDecl VName) ()

-- | A type-checked type parameter.
type TypeParam = TypeParamBase VName

-- | A known array type with no shape annotations, but aliasing
-- information.
type ArrayType = ArrayTypeBase () Names<commit_msg>A few more type aliases.<commit_after>-- | Re-export the external Futhark modules for convenience.
module Language.Futhark
  ( module Language.Futhark.Syntax
  , module Language.Futhark.Attributes
  , module Language.Futhark.Pretty

  , Ident, DimIndex, Exp, Lambda, Pattern
  , ModExp, ModParam, SigExp, ModBind
  , FunBind, ValBind, Dec, Prog
  , TypeBind, TypeDecl
  , StructTypeArg, ArrayType
  , TypeParam
  )
  where

import Language.Futhark.Syntax
import Language.Futhark.Attributes
import Language.Futhark.Pretty

-- | An identifier with type- and aliasing information.
type Ident = IdentBase Info VName

-- | An index with type information.
type DimIndex = DimIndexBase Info VName

-- | An expression with type information.
type Exp = ExpBase Info VName

-- | A lambda with type information.
type Lambda = LambdaBase Info VName

-- | A pattern with type information.
type Pattern = PatternBase Info VName

-- | An function declaration with type information.
type FunBind = FunBindBase Info VName

-- | An constant declaration with type information.
type ValBind = ValBindBase Info VName

-- | A type declaration with type information
type TypeDecl = TypeDeclBase Info VName

-- | A type binding with type information.
type TypeBind = TypeBindBase Info VName

-- | A type-checked module binding.
type ModBind = ModBindBase Info VName

-- | A type-checked module expression.
type ModExp = ModExpBase Info VName

-- | A type-checked module parameter.
type ModParam = ModParamBase Info VName

-- | A type-checked module type expression.
type SigExp = SigExpBase Info VName

-- | A type-checked declaration.
type Dec = DecBase Info VName

-- | An Futhark program with type information.
type Prog = ProgBase Info VName

-- | A known type arg with shape annotations but no aliasing information.
type StructTypeArg = TypeArg (DimDecl VName) ()

-- | A type-checked type parameter.
type TypeParam = TypeParamBase VName

-- | A known array type with no shape annotations, but aliasing
-- information.
type ArrayType = ArrayTypeBase () Names
{'fraction_non_alphanumeric': 0.07349841938883035, 'fraction_numerical': 0.0, 'mean_word_length': 3.8124207858048162, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '6577407', 'n_tokens_mistral': 1069, 'n_tokens_neox': 1058, 'n_words': 434}