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