Safe Haskell | None |
---|---|
Language | Haskell2010 |
Re-export the external Futhark modules for convenience.
Synopsis
- module Language.Futhark.Syntax
- module Language.Futhark.Attributes
- module Language.Futhark.Pretty
- type Ident = IdentBase Info VName
- type DimIndex = DimIndexBase 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 ArrayElemType = ArrayElemTypeBase () Names
- type TypeParam = TypeParamBase VName
Documentation
module Language.Futhark.Syntax
module Language.Futhark.Attributes
module Language.Futhark.Pretty
type StructTypeArg = TypeArg (DimDecl VName) () Source #
A known type arg with shape annotations but no aliasing information.
type ArrayElemType = ArrayElemTypeBase () Names Source #
A known array element type with no shape annotations, but aliasing information.
type TypeParam = TypeParamBase VName Source #
A type-checked type parameter.