Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Re-export the external Futhark modules for convenience.
Synopsis
- module Language.Futhark.Syntax
- module Language.Futhark.Prop
- module Language.Futhark.FreeVars
- module Language.Futhark.Pretty
- type Ident = IdentBase Info VName
- type DimIndex = DimIndexBase Info VName
- type Slice = SliceBase Info VName
- type AppExp = AppExpBase Info VName
- type Exp = ExpBase Info VName
- type Pat = PatBase 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 StructTypeArg = TypeArg Size
- type ScalarType = ScalarTypeBase ()
- type TypeParam = TypeParamBase VName
- type Case = CaseBase Info VName
Documentation
module Language.Futhark.Syntax
module Language.Futhark.Prop
module Language.Futhark.FreeVars
module Language.Futhark.Pretty
type StructTypeArg = TypeArg Size 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.