futhark-0.19.4: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Futhark

Description

Re-export the external Futhark modules for convenience.

Synopsis

Documentation

type Ident = IdentBase Info VName Source #

An identifier with type- and aliasing information.

type DimIndex = DimIndexBase Info VName Source #

An index with type information.

type Exp = ExpBase Info VName Source #

An expression with type information.

type Pattern = PatternBase Info VName Source #

A pattern with type information.

type ModExp = ModExpBase Info VName Source #

A type-checked module expression.

type ModParam = ModParamBase Info VName Source #

A type-checked module parameter.

type SigExp = SigExpBase Info VName Source #

A type-checked module type expression.

type ModBind = ModBindBase Info VName Source #

A type-checked module binding.

type SigBind = SigBindBase Info VName Source #

A type-checked module type binding.

type ValBind = ValBindBase Info VName Source #

An constant declaration with type information.

type Dec = DecBase Info VName Source #

A type-checked declaration.

type Spec = SpecBase Info VName Source #

A type-checked specification.

type Prog = ProgBase Info VName Source #

An Futhark program with type information.

type TypeBind = TypeBindBase Info VName Source #

A type binding with type information.

type TypeDecl = TypeDeclBase Info VName Source #

A type declaration with type information

type StructTypeArg = TypeArg (DimDecl VName) Source #

A known type arg with shape annotations.

type ScalarType = ScalarTypeBase () Source #

A known scalar type with no shape annotations.

type TypeParam = TypeParamBase VName Source #

A type-checked type parameter.

type Case = CaseBase Info VName Source #

A type-checked case (of a match expression).