Language.Futhark

Re-export the external Futhark modules for convenience.

Documentation

module Language.Futhark.Syntax

module Language.Futhark.Prop

module Language.Futhark.Pretty

type Ident = IdentBase Info VName

An identifier with type- and aliasing information.

type DimIndex = DimIndexBase Info VName

An index with type information.

type Exp = ExpBase Info VName

An expression with type information.

type Pattern = PatternBase Info VName

A pattern with type information.

type ModExp = ModExpBase Info VName

A type-checked module expression.

type ModParam = ModParamBase Info VName

A type-checked module parameter.

type SigExp = SigExpBase Info VName

A type-checked module type expression.

type ModBind = ModBindBase Info VName

A type-checked module binding.

type SigBind = SigBindBase Info VName

A type-checked module type binding.

type ValBind = ValBindBase Info VName

An constant declaration with type information.

type Dec = DecBase Info VName

A type-checked declaration.

type Spec = SpecBase Info VName

A type-checked specification.

type Prog = ProgBase Info VName

An Futhark program with type information.

type TypeBind = TypeBindBase Info VName

A type binding with type information.

type TypeDecl = TypeDeclBase Info VName

A type declaration with type information

type StructTypeArg = TypeArg (DimDecl VName)

A known type arg with shape annotations.

type ScalarType = ScalarTypeBase ()

A known scalar type with no shape annotations.

type TypeParam = TypeParamBase VName

A type-checked type parameter.

type Case = CaseBase Info VName

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