futhark-0.19.5: An optimising compiler for a functional, array-oriented language.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Futhark

Description

Re-export the external Futhark modules for convenience.

Synopsis

module Language.Futhark.Syntax
module Language.Futhark.Prop
module Language.Futhark.Pretty
type Ident = IdentBase Info VName
type DimIndex = DimIndexBase Info VName
type AppExp = AppExpBase Info VName
type Exp = ExpBase Info VName
type Pattern = PatternBase Info VName
type ModExp = ModExpBase Info VName
type ModParam = ModParamBase Info VName
type SigExp = SigExpBase Info VName
type ModBind = ModBindBase Info VName
type SigBind = SigBindBase Info VName
type ValBind = ValBindBase Info VName
type Dec = DecBase Info VName
type Spec = SpecBase Info VName
type Prog = ProgBase Info VName
type TypeBind = TypeBindBase Info VName
type TypeDecl = TypeDeclBase Info VName
type StructTypeArg = TypeArg (DimDecl VName)
type ScalarType = ScalarTypeBase ()
type TypeParam = TypeParamBase VName
type Case = CaseBase Info VName

Documentation

module Language.Futhark.Syntax

module Language.Futhark.Prop

module Language.Futhark.Pretty

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 AppExp = AppExpBase Info VName Source #

An application expression 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).