Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Futhark.Syntax

Contents

Types
Values
Abstract syntax tree
Module language
Definitions
Miscellaneous

Description

The Futhark source language AST definition. Many types, such as ExpBase, are parametrised by type and name representation. See thehttps://futhark.readthedocs.org@ for a language reference, or this module may be a little hard to understand.

Synopsis

module Language.Futhark.Core
data Uniqueness
- = Nonunique
- | Unique
data IntType
- = Int8
- | Int16
- | Int32
- | Int64
data FloatType
- = Float32
- | Float64
data PrimType
- = Signed IntType
- | Unsigned IntType
- | FloatType FloatType
- | Bool
class Eq dim => ArrayDim dim where
- unifyDims :: dim -> dim -> Maybe dim
data DimDecl vn
- = NamedDim (QualName vn)
- | ConstDim Int
- | AnyDim
newtype ShapeDecl dim = ShapeDecl {
- shapeDims :: [dim]
}
shapeRank :: ShapeDecl dim -> Int
stripDims :: Int -> ShapeDecl dim -> Maybe (ShapeDecl dim)
unifyShapes :: ArrayDim dim => ShapeDecl dim -> ShapeDecl dim -> Maybe (ShapeDecl dim)
data TypeName = TypeName {
- typeQuals :: [VName]
- typeLeaf :: VName
}
typeNameFromQualName :: QualName VName -> TypeName
qualNameFromTypeName :: TypeName -> QualName VName
data TypeBase dim as
- = Scalar (ScalarTypeBase dim as)
- | Array as Uniqueness (ScalarTypeBase dim ()) (ShapeDecl dim)
data TypeArg dim
- = TypeArgDim dim SrcLoc
- | TypeArgType (TypeBase dim ()) SrcLoc
data DimExp vn
- = DimExpNamed (QualName vn) SrcLoc
- | DimExpConst Int SrcLoc
- | DimExpAny
data TypeExp vn
- = TEVar (QualName vn) SrcLoc
- | TETuple [TypeExp vn] SrcLoc
- | TERecord [(Name, TypeExp vn)] SrcLoc
- | TEArray (TypeExp vn) (DimExp vn) SrcLoc
- | TEUnique (TypeExp vn) SrcLoc
- | TEApply (TypeExp vn) (TypeArgExp vn) SrcLoc
- | TEArrow (Maybe vn) (TypeExp vn) (TypeExp vn) SrcLoc
- | TESum [(Name, [TypeExp vn])] SrcLoc
data TypeArgExp vn
- = TypeArgExpDim (DimExp vn) SrcLoc
- | TypeArgExpType (TypeExp vn)
data PName
- = Named VName
- | Unnamed
data ScalarTypeBase dim as
- = Prim PrimType
- | TypeVar as Uniqueness TypeName [TypeArg dim]
- | Record (Map Name (TypeBase dim as))
- | Sum (Map Name [TypeBase dim as])
- | Arrow as PName (TypeBase dim as) (TypeBase dim as)
type PatternType = TypeBase (DimDecl VName) Aliasing
type StructType = TypeBase (DimDecl VName) ()
type ValueType = TypeBase Int64 ()
data Diet
- = RecordDiet (Map Name Diet)
- | FuncDiet Diet Diet
- | Consume
- | Observe
data TypeDeclBase f vn = TypeDecl {
- declaredType :: TypeExp vn
- expandedType :: f StructType
}
data IntValue
- = Int8Value !Int8
- | Int16Value !Int16
- | Int32Value !Int32
- | Int64Value !Int64
data FloatValue
- = Float32Value !Float
- | Float64Value !Double
data PrimValue
- = SignedValue !IntValue
- | UnsignedValue !IntValue
- | FloatValue !FloatValue
- | BoolValue !Bool
class IsPrimValue v where
- primValue :: v -> PrimValue
data Value
- = PrimValue !PrimValue
- | ArrayValue !(Array Int Value) ValueType
data AttrInfo
- = AttrAtom Name
- | AttrComp Name [AttrInfo]
data BinOp
- = Backtick
- | Plus
- | Minus
- | Pow
- | Times
- | Divide
- | Mod
- | Quot
- | Rem
- | ShiftR
- | ShiftL
- | Band
- | Xor
- | Bor
- | LogAnd
- | LogOr
- | Equal
- | NotEqual
- | Less
- | Leq
- | Greater
- | Geq
- | PipeRight
- | PipeLeft
data IdentBase f vn = Ident {
- identName :: vn
- identType :: f PatternType
- identSrcLoc :: SrcLoc
}
data Inclusiveness a
- = DownToExclusive a
- | ToInclusive a
- | UpToExclusive a
data DimIndexBase f vn
- = DimFix (ExpBase f vn)
- | DimSlice (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn))
data ExpBase f vn
- = Literal PrimValue SrcLoc
- | IntLit Integer (f PatternType) SrcLoc
- | FloatLit Double (f PatternType) SrcLoc
- | StringLit [Word8] SrcLoc
- | Parens (ExpBase f vn) SrcLoc
- | QualParens (QualName vn, SrcLoc) (ExpBase f vn) SrcLoc
- | TupLit [ExpBase f vn] SrcLoc
- | RecordLit [FieldBase f vn] SrcLoc
- | ArrayLit [ExpBase f vn] (f PatternType) SrcLoc
- | Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) (f PatternType, f [VName]) SrcLoc
- | Var (QualName vn) (f PatternType) SrcLoc
- | Ascript (ExpBase f vn) (TypeDeclBase f vn) SrcLoc
- | Coerce (ExpBase f vn) (TypeDeclBase f vn) (f PatternType, f [VName]) SrcLoc
- | LetPat (PatternBase f vn) (ExpBase f vn) (ExpBase f vn) (f PatternType, f [VName]) SrcLoc
- | LetFun vn ([TypeParamBase vn], [PatternBase f vn], Maybe (TypeExp vn), f StructType, ExpBase f vn) (ExpBase f vn) (f PatternType) SrcLoc
- | If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) (f PatternType, f [VName]) SrcLoc
- | Apply (ExpBase f vn) (ExpBase f vn) (f (Diet, Maybe VName)) (f PatternType, f [VName]) SrcLoc
- | Negate (ExpBase f vn) SrcLoc
- | Lambda [PatternBase f vn] (ExpBase f vn) (Maybe (TypeExp vn)) (f (Aliasing, StructType)) SrcLoc
- | OpSection (QualName vn) (f PatternType) SrcLoc
- | OpSectionLeft (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType, Maybe VName), f (PName, StructType)) (f PatternType, f [VName]) SrcLoc
- | OpSectionRight (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType), f (PName, StructType, Maybe VName)) (f PatternType) SrcLoc
- | ProjectSection [Name] (f PatternType) SrcLoc
- | IndexSection [DimIndexBase f vn] (f PatternType) SrcLoc
- | DoLoop [VName] (PatternBase f vn) (ExpBase f vn) (LoopFormBase f vn) (ExpBase f vn) (f (PatternType, [VName])) SrcLoc
- | BinOp (QualName vn, SrcLoc) (f PatternType) (ExpBase f vn, f (StructType, Maybe VName)) (ExpBase f vn, f (StructType, Maybe VName)) (f PatternType) (f [VName]) SrcLoc
- | Project Name (ExpBase f vn) (f PatternType) SrcLoc
- | LetWith (IdentBase f vn) (IdentBase f vn) [DimIndexBase f vn] (ExpBase f vn) (ExpBase f vn) (f PatternType) SrcLoc
- | Index (ExpBase f vn) [DimIndexBase f vn] (f PatternType, f [VName]) SrcLoc
- | Update (ExpBase f vn) [DimIndexBase f vn] (ExpBase f vn) SrcLoc
- | RecordUpdate (ExpBase f vn) [Name] (ExpBase f vn) (f PatternType) SrcLoc
- | Assert (ExpBase f vn) (ExpBase f vn) (f String) SrcLoc
- | Constr Name [ExpBase f vn] (f PatternType) SrcLoc
- | Match (ExpBase f vn) (NonEmpty (CaseBase f vn)) (f PatternType, f [VName]) SrcLoc
- | Attr AttrInfo (ExpBase f vn) SrcLoc
data FieldBase f vn
- = RecordFieldExplicit Name (ExpBase f vn) SrcLoc
- | RecordFieldImplicit vn (f PatternType) SrcLoc
data CaseBase f vn = CasePat (PatternBase f vn) (ExpBase f vn) SrcLoc
data LoopFormBase f vn
- = For (IdentBase f vn) (ExpBase f vn)
- | ForIn (PatternBase f vn) (ExpBase f vn)
- | While (ExpBase f vn)
data PatLit
- = PatLitInt Integer
- | PatLitFloat Double
- | PatLitPrim PrimValue
data PatternBase f vn
- = TuplePattern [PatternBase f vn] SrcLoc
- | RecordPattern [(Name, PatternBase f vn)] SrcLoc
- | PatternParens (PatternBase f vn) SrcLoc
- | Id vn (f PatternType) SrcLoc
- | Wildcard (f PatternType) SrcLoc
- | PatternAscription (PatternBase f vn) (TypeDeclBase f vn) SrcLoc
- | PatternLit PatLit (f PatternType) SrcLoc
- | PatternConstr Name (f PatternType) [PatternBase f vn] SrcLoc
data SpecBase f vn
- = ValSpec {
  - specName :: vn
  - specTypeParams :: [TypeParamBase vn]
  - specType :: TypeDeclBase f vn
  - specDoc :: Maybe DocComment
  - specLocation :: SrcLoc
  }
- | TypeAbbrSpec (TypeBindBase f vn)
- | TypeSpec Liftedness vn [TypeParamBase vn] (Maybe DocComment) SrcLoc
- | ModSpec vn (SigExpBase f vn) (Maybe DocComment) SrcLoc
- | IncludeSpec (SigExpBase f vn) SrcLoc
data SigExpBase f vn
- = SigVar (QualName vn) (f (Map VName VName)) SrcLoc
- | SigParens (SigExpBase f vn) SrcLoc
- | SigSpecs [SpecBase f vn] SrcLoc
- | SigWith (SigExpBase f vn) (TypeRefBase f vn) SrcLoc
- | SigArrow (Maybe vn) (SigExpBase f vn) (SigExpBase f vn) SrcLoc
data TypeRefBase f vn = TypeRef (QualName vn) [TypeParamBase vn] (TypeDeclBase f vn) SrcLoc
data SigBindBase f vn = SigBind {
- sigName :: vn
- sigExp :: SigExpBase f vn
- sigDoc :: Maybe DocComment
- sigLoc :: SrcLoc
}
data ModExpBase f vn
- = ModVar (QualName vn) SrcLoc
- | ModParens (ModExpBase f vn) SrcLoc
- | ModImport FilePath (f FilePath) SrcLoc
- | ModDecs [DecBase f vn] SrcLoc
- | ModApply (ModExpBase f vn) (ModExpBase f vn) (f (Map VName VName)) (f (Map VName VName)) SrcLoc
- | ModAscript (ModExpBase f vn) (SigExpBase f vn) (f (Map VName VName)) SrcLoc
- | ModLambda (ModParamBase f vn) (Maybe (SigExpBase f vn, f (Map VName VName))) (ModExpBase f vn) SrcLoc
data ModBindBase f vn = ModBind {
- modName :: vn
- modParams :: [ModParamBase f vn]
- modSignature :: Maybe (SigExpBase f vn, f (Map VName VName))
- modExp :: ModExpBase f vn
- modDoc :: Maybe DocComment
- modLocation :: SrcLoc
}
data ModParamBase f vn = ModParam {
- modParamName :: vn
- modParamType :: SigExpBase f vn
- modParamAbs :: f [VName]
- modParamLocation :: SrcLoc
}
data DocComment = DocComment String SrcLoc
data ValBindBase f vn = ValBind {
- valBindEntryPoint :: Maybe (f EntryPoint)
- valBindName :: vn
- valBindRetDecl :: Maybe (TypeExp vn)
- valBindRetType :: f (StructType, [VName])
- valBindTypeParams :: [TypeParamBase vn]
- valBindParams :: [PatternBase f vn]
- valBindBody :: ExpBase f vn
- valBindDoc :: Maybe DocComment
- valBindAttrs :: [AttrInfo]
- valBindLocation :: SrcLoc
}
data EntryPoint = EntryPoint {
- entryParams :: [EntryType]
- entryReturn :: EntryType
}
data EntryType = EntryType {
- entryType :: StructType
- entryAscribed :: Maybe (TypeExp VName)
}
data Liftedness
- = Unlifted
- | SizeLifted
- | Lifted
data TypeBindBase f vn = TypeBind {
- typeAlias :: vn
- typeLiftedness :: Liftedness
- typeParams :: [TypeParamBase vn]
- typeExp :: TypeDeclBase f vn
- typeDoc :: Maybe DocComment
- typeBindLocation :: SrcLoc
}
data TypeParamBase vn
- = TypeParamDim vn SrcLoc
- | TypeParamType Liftedness vn SrcLoc
typeParamName :: TypeParamBase vn -> vn
data ProgBase f vn = Prog {
- progDoc :: Maybe DocComment
- progDecs :: [DecBase f vn]
}
data DecBase f vn
- = ValDec (ValBindBase f vn)
- | TypeDec (TypeBindBase f vn)
- | SigDec (SigBindBase f vn)
- | ModDec (ModBindBase f vn)
- | OpenDec (ModExpBase f vn) SrcLoc
- | LocalDec (DecBase f vn) SrcLoc
- | ImportDec FilePath (f FilePath) SrcLoc
class (Show vn, Show (f VName), Show (f (Diet, Maybe VName)), Show (f String), Show (f [VName]), Show (f ([VName], [VName])), Show (f PatternType), Show (f (PatternType, [VName])), Show (f (StructType, [VName])), Show (f EntryPoint), Show (f Int), Show (f StructType), Show (f (StructType, Maybe VName)), Show (f (PName, StructType)), Show (f (PName, StructType, Maybe VName)), Show (f (Aliasing, StructType)), Show (f (Map VName VName)), Show (f Uniqueness)) => Showable f vn
data NoInfo a = NoInfo
newtype Info a = Info {
- unInfo :: a
}
data Alias
- = AliasBound {
  - aliasVar :: VName
  }
- | AliasFree {
  - aliasVar :: VName
  }
type Aliasing = Set Alias
data QualName vn = QualName {
- qualQuals :: ![vn]
- qualLeaf :: !vn
}

Documentation

module Language.Futhark.Core

Types

data Uniqueness Source #

The uniqueness attribute of a type. This essentially indicates whether or not in-place modifications are acceptable. With respect to ordering, Unique is greater than Nonunique.

Constructors

Nonunique	May have references outside current function.
Unique	No references outside current function.

Instances

Instances details

Eq Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods (==) :: Uniqueness -> Uniqueness -> Bool # (/=) :: Uniqueness -> Uniqueness -> Bool #
Ord Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods compare :: Uniqueness -> Uniqueness -> Ordering # (<) :: Uniqueness -> Uniqueness -> Bool # (<=) :: Uniqueness -> Uniqueness -> Bool # (>) :: Uniqueness -> Uniqueness -> Bool # (>=) :: Uniqueness -> Uniqueness -> Bool # max :: Uniqueness -> Uniqueness -> Uniqueness # min :: Uniqueness -> Uniqueness -> Uniqueness #
Show Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods showsPrec :: Int -> Uniqueness -> ShowS # show :: Uniqueness -> String # showList :: [Uniqueness] -> ShowS #
Semigroup Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods (<>) :: Uniqueness -> Uniqueness -> Uniqueness # sconcat :: NonEmpty Uniqueness -> Uniqueness # stimes :: Integral b => b -> Uniqueness -> Uniqueness #
Monoid Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods mempty :: Uniqueness # mappend :: Uniqueness -> Uniqueness -> Uniqueness # mconcat :: [Uniqueness] -> Uniqueness #
Pretty Uniqueness Source #
Instance details Defined in Language.Futhark.Core Methods ppr :: Uniqueness -> Doc # pprPrec :: Int -> Uniqueness -> Doc # pprList :: [Uniqueness] -> Doc #
DeclExtTyped DeclExtType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declExtTypeOf :: DeclExtType -> DeclExtType Source #
DeclTyped DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods declTypeOf :: DeclType -> DeclType Source #
Typed DeclType Source #
Instance details Defined in Futhark.IR.Prop.Types Methods typeOf :: DeclType -> Type Source #
IsRetType DeclExtType Source #
Instance details Defined in Futhark.IR.RetType Methods primRetType :: PrimType -> DeclExtType Source # applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType] Source #
IsRetType FunReturns Source #
Instance details Defined in Futhark.IR.Mem Methods primRetType :: PrimType -> FunReturns Source # applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns] Source #
Simplifiable [FunReturns] Source #
Instance details Defined in Futhark.IR.Mem Methods simplify :: SimplifiableLore lore => [FunReturns] -> SimpleM lore [FunReturns] Source #
FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType Source #
DeclTyped (MemInfo SubExp Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType Source #
Typed (MemInfo SubExp Uniqueness ret) Source #
Instance details Defined in Futhark.IR.Mem Methods typeOf :: MemInfo SubExp Uniqueness ret -> Type Source #

data IntType Source #

An integer type, ordered by size. Note that signedness is not a property of the type, but a property of the operations performed on values of these types.

Constructors

Int8
Int16
Int32
Int64

Instances

Instances details

Bounded IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods minBound :: IntType # maxBound :: IntType #
Enum IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods succ :: IntType -> IntType # pred :: IntType -> IntType # toEnum :: Int -> IntType # fromEnum :: IntType -> Int # enumFrom :: IntType -> [IntType] # enumFromThen :: IntType -> IntType -> [IntType] # enumFromTo :: IntType -> IntType -> [IntType] # enumFromThenTo :: IntType -> IntType -> IntType -> [IntType] #
Eq IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: IntType -> IntType -> Bool # (/=) :: IntType -> IntType -> Bool #
Ord IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: IntType -> IntType -> Ordering # (<) :: IntType -> IntType -> Bool # (<=) :: IntType -> IntType -> Bool # (>) :: IntType -> IntType -> Bool # (>=) :: IntType -> IntType -> Bool # max :: IntType -> IntType -> IntType # min :: IntType -> IntType -> IntType #
Show IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> IntType -> ShowS # show :: IntType -> String # showList :: [IntType] -> ShowS #
Pretty IntType Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: IntType -> Doc # pprPrec :: Int -> IntType -> Doc # pprList :: [IntType] -> Doc #

data FloatType Source #

A floating point type.

Constructors

Float32
Float64

Instances

Instances details

Bounded FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods minBound :: FloatType # maxBound :: FloatType #
Enum FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods succ :: FloatType -> FloatType # pred :: FloatType -> FloatType # toEnum :: Int -> FloatType # fromEnum :: FloatType -> Int # enumFrom :: FloatType -> [FloatType] # enumFromThen :: FloatType -> FloatType -> [FloatType] # enumFromTo :: FloatType -> FloatType -> [FloatType] # enumFromThenTo :: FloatType -> FloatType -> FloatType -> [FloatType] #
Eq FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: FloatType -> FloatType -> Bool # (/=) :: FloatType -> FloatType -> Bool #
Ord FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: FloatType -> FloatType -> Ordering # (<) :: FloatType -> FloatType -> Bool # (<=) :: FloatType -> FloatType -> Bool # (>) :: FloatType -> FloatType -> Bool # (>=) :: FloatType -> FloatType -> Bool # max :: FloatType -> FloatType -> FloatType # min :: FloatType -> FloatType -> FloatType #
Show FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> FloatType -> ShowS # show :: FloatType -> String # showList :: [FloatType] -> ShowS #
Pretty FloatType Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: FloatType -> Doc # pprPrec :: Int -> FloatType -> Doc # pprList :: [FloatType] -> Doc #

data PrimType Source #

Low-level primitive types.

Constructors

Signed IntType
Unsigned IntType
FloatType FloatType
Bool

Instances

Instances details

Eq PrimType Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PrimType -> PrimType -> Bool # (/=) :: PrimType -> PrimType -> Bool #
Ord PrimType Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PrimType -> PrimType -> Ordering # (<) :: PrimType -> PrimType -> Bool # (<=) :: PrimType -> PrimType -> Bool # (>) :: PrimType -> PrimType -> Bool # (>=) :: PrimType -> PrimType -> Bool # max :: PrimType -> PrimType -> PrimType # min :: PrimType -> PrimType -> PrimType #
Show PrimType Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> PrimType -> ShowS # show :: PrimType -> String # showList :: [PrimType] -> ShowS #
Pretty PrimType Source #
Instance details Defined in Language.Futhark.Syntax Methods ppr :: PrimType -> Doc # pprPrec :: Int -> PrimType -> Doc # pprList :: [PrimType] -> Doc #

class Eq dim => ArrayDim dim where Source #

A type class for things that can be array dimensions.

Methods

unifyDims :: dim -> dim -> Maybe dim Source #

unifyDims x y combines x and y to contain their maximum common information, and fails if they conflict.

Instances

Instances details

ArrayDim () Source #
Instance details Defined in Language.Futhark.Syntax Methods unifyDims :: () -> () -> Maybe () Source #
ArrayDim (DimDecl VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods unifyDims :: DimDecl VName -> DimDecl VName -> Maybe (DimDecl VName) Source #

data DimDecl vn Source #

Declaration of a dimension size.

Constructors

NamedDim (QualName vn)	The size of the dimension is this name, which must be in scope. In a return type, this will give rise to an assertion.
ConstDim Int	The size is a constant.
AnyDim	No dimension declaration.

Instances

Instances details

Functor DimDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> DimDecl a -> DimDecl b # (<$) :: a -> DimDecl b -> DimDecl a #
Foldable DimDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => DimDecl m -> m # foldMap :: Monoid m => (a -> m) -> DimDecl a -> m # foldMap' :: Monoid m => (a -> m) -> DimDecl a -> m # foldr :: (a -> b -> b) -> b -> DimDecl a -> b # foldr' :: (a -> b -> b) -> b -> DimDecl a -> b # foldl :: (b -> a -> b) -> b -> DimDecl a -> b # foldl' :: (b -> a -> b) -> b -> DimDecl a -> b # foldr1 :: (a -> a -> a) -> DimDecl a -> a # foldl1 :: (a -> a -> a) -> DimDecl a -> a # toList :: DimDecl a -> [a] # null :: DimDecl a -> Bool # length :: DimDecl a -> Int # elem :: Eq a => a -> DimDecl a -> Bool # maximum :: Ord a => DimDecl a -> a # minimum :: Ord a => DimDecl a -> a # sum :: Num a => DimDecl a -> a # product :: Num a => DimDecl a -> a #
Traversable DimDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> DimDecl a -> f (DimDecl b) # sequenceA :: Applicative f => DimDecl (f a) -> f (DimDecl a) # mapM :: Monad m => (a -> m b) -> DimDecl a -> m (DimDecl b) # sequence :: Monad m => DimDecl (m a) -> m (DimDecl a) #
ASTMappable StructType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #
ASTMappable PatternType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #
Eq (DimDecl VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimDecl VName -> DimDecl VName -> Bool # (/=) :: DimDecl VName -> DimDecl VName -> Bool #
Eq (DimDecl Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimDecl Name -> DimDecl Name -> Bool # (/=) :: DimDecl Name -> DimDecl Name -> Bool #
Ord (DimDecl VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimDecl VName -> DimDecl VName -> Ordering # (<) :: DimDecl VName -> DimDecl VName -> Bool # (<=) :: DimDecl VName -> DimDecl VName -> Bool # (>) :: DimDecl VName -> DimDecl VName -> Bool # (>=) :: DimDecl VName -> DimDecl VName -> Bool # max :: DimDecl VName -> DimDecl VName -> DimDecl VName # min :: DimDecl VName -> DimDecl VName -> DimDecl VName #
Ord (DimDecl Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimDecl Name -> DimDecl Name -> Ordering # (<) :: DimDecl Name -> DimDecl Name -> Bool # (<=) :: DimDecl Name -> DimDecl Name -> Bool # (>) :: DimDecl Name -> DimDecl Name -> Bool # (>=) :: DimDecl Name -> DimDecl Name -> Bool # max :: DimDecl Name -> DimDecl Name -> DimDecl Name # min :: DimDecl Name -> DimDecl Name -> DimDecl Name #
Show vn => Show (DimDecl vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> DimDecl vn -> ShowS # show :: DimDecl vn -> String # showList :: [DimDecl vn] -> ShowS #
IsName vn => Pretty (ShapeDecl (DimDecl vn)) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl (DimDecl vn) -> Doc # pprPrec :: Int -> ShapeDecl (DimDecl vn) -> Doc # pprList :: [ShapeDecl (DimDecl vn)] -> Doc #
IsName vn => Pretty (DimDecl vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: DimDecl vn -> Doc # pprPrec :: Int -> DimDecl vn -> Doc # pprList :: [DimDecl vn] -> Doc #
ArrayDim (DimDecl VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods unifyDims :: DimDecl VName -> DimDecl VName -> Maybe (DimDecl VName) Source #
ASTMappable (DimDecl VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> DimDecl VName -> m (DimDecl VName) Source #
Substitutable (DimDecl VName) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> DimDecl VName -> DimDecl VName Source #
Substitutable (TypeBase (DimDecl VName) ()) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) () Source #
Substitutable (TypeBase (DimDecl VName) Aliasing) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

newtype ShapeDecl dim Source #

The size of an array type is a list of its dimension sizes. If Nothing, that dimension is of a (statically) unknown size.

Constructors

ShapeDecl
Fields shapeDims :: [dim]

Instances

Instances details

Functor ShapeDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> ShapeDecl a -> ShapeDecl b # (<$) :: a -> ShapeDecl b -> ShapeDecl a #
Foldable ShapeDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => ShapeDecl m -> m # foldMap :: Monoid m => (a -> m) -> ShapeDecl a -> m # foldMap' :: Monoid m => (a -> m) -> ShapeDecl a -> m # foldr :: (a -> b -> b) -> b -> ShapeDecl a -> b # foldr' :: (a -> b -> b) -> b -> ShapeDecl a -> b # foldl :: (b -> a -> b) -> b -> ShapeDecl a -> b # foldl' :: (b -> a -> b) -> b -> ShapeDecl a -> b # foldr1 :: (a -> a -> a) -> ShapeDecl a -> a # foldl1 :: (a -> a -> a) -> ShapeDecl a -> a # toList :: ShapeDecl a -> [a] # null :: ShapeDecl a -> Bool # length :: ShapeDecl a -> Int # elem :: Eq a => a -> ShapeDecl a -> Bool # maximum :: Ord a => ShapeDecl a -> a # minimum :: Ord a => ShapeDecl a -> a # sum :: Num a => ShapeDecl a -> a # product :: Num a => ShapeDecl a -> a #
Traversable ShapeDecl Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> ShapeDecl a -> f (ShapeDecl b) # sequenceA :: Applicative f => ShapeDecl (f a) -> f (ShapeDecl a) # mapM :: Monad m => (a -> m b) -> ShapeDecl a -> m (ShapeDecl b) # sequence :: Monad m => ShapeDecl (m a) -> m (ShapeDecl a) #
Eq dim => Eq (ShapeDecl dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: ShapeDecl dim -> ShapeDecl dim -> Bool # (/=) :: ShapeDecl dim -> ShapeDecl dim -> Bool #
Ord dim => Ord (ShapeDecl dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: ShapeDecl dim -> ShapeDecl dim -> Ordering # (<) :: ShapeDecl dim -> ShapeDecl dim -> Bool # (<=) :: ShapeDecl dim -> ShapeDecl dim -> Bool # (>) :: ShapeDecl dim -> ShapeDecl dim -> Bool # (>=) :: ShapeDecl dim -> ShapeDecl dim -> Bool # max :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim # min :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim #
Show dim => Show (ShapeDecl dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ShapeDecl dim -> ShowS # show :: ShapeDecl dim -> String # showList :: [ShapeDecl dim] -> ShowS #
Semigroup (ShapeDecl dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods (<>) :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim # sconcat :: NonEmpty (ShapeDecl dim) -> ShapeDecl dim # stimes :: Integral b => b -> ShapeDecl dim -> ShapeDecl dim #
Monoid (ShapeDecl dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods mempty :: ShapeDecl dim # mappend :: ShapeDecl dim -> ShapeDecl dim -> ShapeDecl dim # mconcat :: [ShapeDecl dim] -> ShapeDecl dim #
Pretty (ShapeDecl Bool) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl Bool -> Doc # pprPrec :: Int -> ShapeDecl Bool -> Doc # pprList :: [ShapeDecl Bool] -> Doc #
Pretty (ShapeDecl Int64) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl Int64 -> Doc # pprPrec :: Int -> ShapeDecl Int64 -> Doc # pprList :: [ShapeDecl Int64] -> Doc #
Pretty (ShapeDecl ()) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl () -> Doc # pprPrec :: Int -> ShapeDecl () -> Doc # pprList :: [ShapeDecl ()] -> Doc #
IsName vn => Pretty (ShapeDecl (DimDecl vn)) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ShapeDecl (DimDecl vn) -> Doc # pprPrec :: Int -> ShapeDecl (DimDecl vn) -> Doc # pprList :: [ShapeDecl (DimDecl vn)] -> Doc #
Substitutable d => Substitutable (ShapeDecl d) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> ShapeDecl d -> ShapeDecl d Source #

shapeRank :: ShapeDecl dim -> Int Source #

The number of dimensions contained in a shape.

stripDims :: Int -> ShapeDecl dim -> Maybe (ShapeDecl dim) Source #

stripDims n shape strips the outer n dimensions from shape, returning Nothing if this would result in zero or fewer dimensions.

unifyShapes :: ArrayDim dim => ShapeDecl dim -> ShapeDecl dim -> Maybe (ShapeDecl dim) Source #

unifyShapes x y combines x and y to contain their maximum common information, and fails if they conflict.

data TypeName Source #

A type name consists of qualifiers (for error messages) and a VName (for equality checking).

Constructors

TypeName
Fields typeQuals :: [VName] typeLeaf :: VName

Instances

Instances details

Eq TypeName Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Ord TypeName Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeName -> TypeName -> Ordering # (<) :: TypeName -> TypeName -> Bool # (<=) :: TypeName -> TypeName -> Bool # (>) :: TypeName -> TypeName -> Bool # (>=) :: TypeName -> TypeName -> Bool # max :: TypeName -> TypeName -> TypeName # min :: TypeName -> TypeName -> TypeName #
Show TypeName Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #

typeNameFromQualName :: QualName VName -> TypeName Source #

Convert a QualName to a TypeName.

qualNameFromTypeName :: TypeName -> QualName VName Source #

Convert a TypeName to a QualName.

data TypeBase dim as Source #

An expanded Futhark type is either an array, or something that can be an element of an array. When comparing types for equality, function parameter names are ignored. This representation permits some malformed types (arrays of functions), but importantly rules out arrays-of-arrays.

Constructors

Scalar (ScalarTypeBase dim as)
Array as Uniqueness (ScalarTypeBase dim ()) (ShapeDecl dim)

Instances

Instances details

Bifunctor TypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bimap :: (a -> b) -> (c -> d) -> TypeBase a c -> TypeBase b d # first :: (a -> b) -> TypeBase a c -> TypeBase b c # second :: (b -> c) -> TypeBase a b -> TypeBase a c #
Bitraversable TypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TypeBase a b -> f (TypeBase c d) #
Bifoldable TypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bifold :: Monoid m => TypeBase m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TypeBase a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TypeBase a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TypeBase a b -> c #
ASTMappable StructType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #
ASTMappable PatternType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #
(Eq as, Eq dim) => Eq (TypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeBase dim as -> TypeBase dim as -> Bool # (/=) :: TypeBase dim as -> TypeBase dim as -> Bool #
(Ord as, Ord dim) => Ord (TypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeBase dim as -> TypeBase dim as -> Ordering # (<) :: TypeBase dim as -> TypeBase dim as -> Bool # (<=) :: TypeBase dim as -> TypeBase dim as -> Bool # (>) :: TypeBase dim as -> TypeBase dim as -> Bool # (>=) :: TypeBase dim as -> TypeBase dim as -> Bool # max :: TypeBase dim as -> TypeBase dim as -> TypeBase dim as # min :: TypeBase dim as -> TypeBase dim as -> TypeBase dim as #
(Show as, Show dim) => Show (TypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeBase dim as -> ShowS # show :: TypeBase dim as -> String # showList :: [TypeBase dim as] -> ShowS #
Pretty (ShapeDecl dim) => Pretty (TypeBase dim as) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeBase dim as -> Doc # pprPrec :: Int -> TypeBase dim as -> Doc # pprList :: [TypeBase dim as] -> Doc #
Substitutable (TypeBase (DimDecl VName) ()) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) () Source #
Substitutable (TypeBase (DimDecl VName) Aliasing) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

data TypeArg dim Source #

An argument passed to a type constructor.

Constructors

TypeArgDim dim SrcLoc
TypeArgType (TypeBase dim ()) SrcLoc

Instances

Instances details

Functor TypeArg Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> TypeArg a -> TypeArg b # (<$) :: a -> TypeArg b -> TypeArg a #
Foldable TypeArg Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => TypeArg m -> m # foldMap :: Monoid m => (a -> m) -> TypeArg a -> m # foldMap' :: Monoid m => (a -> m) -> TypeArg a -> m # foldr :: (a -> b -> b) -> b -> TypeArg a -> b # foldr' :: (a -> b -> b) -> b -> TypeArg a -> b # foldl :: (b -> a -> b) -> b -> TypeArg a -> b # foldl' :: (b -> a -> b) -> b -> TypeArg a -> b # foldr1 :: (a -> a -> a) -> TypeArg a -> a # foldl1 :: (a -> a -> a) -> TypeArg a -> a # toList :: TypeArg a -> [a] # null :: TypeArg a -> Bool # length :: TypeArg a -> Int # elem :: Eq a => a -> TypeArg a -> Bool # maximum :: Ord a => TypeArg a -> a # minimum :: Ord a => TypeArg a -> a # sum :: Num a => TypeArg a -> a # product :: Num a => TypeArg a -> a #
Traversable TypeArg Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> TypeArg a -> f (TypeArg b) # sequenceA :: Applicative f => TypeArg (f a) -> f (TypeArg a) # mapM :: Monad m => (a -> m b) -> TypeArg a -> m (TypeArg b) # sequence :: Monad m => TypeArg (m a) -> m (TypeArg a) #
Eq dim => Eq (TypeArg dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeArg dim -> TypeArg dim -> Bool # (/=) :: TypeArg dim -> TypeArg dim -> Bool #
Ord dim => Ord (TypeArg dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeArg dim -> TypeArg dim -> Ordering # (<) :: TypeArg dim -> TypeArg dim -> Bool # (<=) :: TypeArg dim -> TypeArg dim -> Bool # (>) :: TypeArg dim -> TypeArg dim -> Bool # (>=) :: TypeArg dim -> TypeArg dim -> Bool # max :: TypeArg dim -> TypeArg dim -> TypeArg dim # min :: TypeArg dim -> TypeArg dim -> TypeArg dim #
Show dim => Show (TypeArg dim) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeArg dim -> ShowS # show :: TypeArg dim -> String # showList :: [TypeArg dim] -> ShowS #
Pretty (ShapeDecl dim) => Pretty (TypeArg dim) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeArg dim -> Doc # pprPrec :: Int -> TypeArg dim -> Doc # pprList :: [TypeArg dim] -> Doc #

data DimExp vn Source #

A dimension declaration expression for use in a TypeExp.

Constructors

DimExpNamed (QualName vn) SrcLoc	The size of the dimension is this name, which must be in scope.
DimExpConst Int SrcLoc	The size is a constant.
DimExpAny	No dimension declaration.

Instances

Instances details

Eq (DimExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimExp VName -> DimExp VName -> Bool # (/=) :: DimExp VName -> DimExp VName -> Bool #
Eq (DimExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimExp Name -> DimExp Name -> Bool # (/=) :: DimExp Name -> DimExp Name -> Bool #
Ord (DimExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimExp VName -> DimExp VName -> Ordering # (<) :: DimExp VName -> DimExp VName -> Bool # (<=) :: DimExp VName -> DimExp VName -> Bool # (>) :: DimExp VName -> DimExp VName -> Bool # (>=) :: DimExp VName -> DimExp VName -> Bool # max :: DimExp VName -> DimExp VName -> DimExp VName # min :: DimExp VName -> DimExp VName -> DimExp VName #
Ord (DimExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimExp Name -> DimExp Name -> Ordering # (<) :: DimExp Name -> DimExp Name -> Bool # (<=) :: DimExp Name -> DimExp Name -> Bool # (>) :: DimExp Name -> DimExp Name -> Bool # (>=) :: DimExp Name -> DimExp Name -> Bool # max :: DimExp Name -> DimExp Name -> DimExp Name # min :: DimExp Name -> DimExp Name -> DimExp Name #
Show vn => Show (DimExp vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> DimExp vn -> ShowS # show :: DimExp vn -> String # showList :: [DimExp vn] -> ShowS #
IsName vn => Pretty (DimExp vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: DimExp vn -> Doc # pprPrec :: Int -> DimExp vn -> Doc # pprList :: [DimExp vn] -> Doc #
ASTMappable (DimExp VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> DimExp VName -> m (DimExp VName) Source #

data TypeExp vn Source #

An unstructured type with type variables and possibly shape declarations - this is what the user types in the source program. These are used to construct TypeBases in the type checker.

Constructors

TEVar (QualName vn) SrcLoc
TETuple [TypeExp vn] SrcLoc
TERecord [(Name, TypeExp vn)] SrcLoc
TEArray (TypeExp vn) (DimExp vn) SrcLoc
TEUnique (TypeExp vn) SrcLoc
TEApply (TypeExp vn) (TypeArgExp vn) SrcLoc
TEArrow (Maybe vn) (TypeExp vn) (TypeExp vn) SrcLoc
TESum [(Name, [TypeExp vn])] SrcLoc

Instances

Instances details

Eq (TypeExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeExp VName -> TypeExp VName -> Bool # (/=) :: TypeExp VName -> TypeExp VName -> Bool #
Eq (TypeExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeExp Name -> TypeExp Name -> Bool # (/=) :: TypeExp Name -> TypeExp Name -> Bool #
Ord (TypeExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeExp VName -> TypeExp VName -> Ordering # (<) :: TypeExp VName -> TypeExp VName -> Bool # (<=) :: TypeExp VName -> TypeExp VName -> Bool # (>) :: TypeExp VName -> TypeExp VName -> Bool # (>=) :: TypeExp VName -> TypeExp VName -> Bool # max :: TypeExp VName -> TypeExp VName -> TypeExp VName # min :: TypeExp VName -> TypeExp VName -> TypeExp VName #
Ord (TypeExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeExp Name -> TypeExp Name -> Ordering # (<) :: TypeExp Name -> TypeExp Name -> Bool # (<=) :: TypeExp Name -> TypeExp Name -> Bool # (>) :: TypeExp Name -> TypeExp Name -> Bool # (>=) :: TypeExp Name -> TypeExp Name -> Bool # max :: TypeExp Name -> TypeExp Name -> TypeExp Name # min :: TypeExp Name -> TypeExp Name -> TypeExp Name #
Show vn => Show (TypeExp vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeExp vn -> ShowS # show :: TypeExp vn -> String # showList :: [TypeExp vn] -> ShowS #
(Eq vn, IsName vn) => Pretty (TypeExp vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeExp vn -> Doc # pprPrec :: Int -> TypeExp vn -> Doc # pprList :: [TypeExp vn] -> Doc #
Located (TypeExp vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeExp vn -> Loc # locOfList :: [TypeExp vn] -> Loc #
ASTMappable (TypeExp VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> TypeExp VName -> m (TypeExp VName) Source #

data TypeArgExp vn Source #

A type argument expression passed to a type constructor.

Constructors

TypeArgExpDim (DimExp vn) SrcLoc
TypeArgExpType (TypeExp vn)

Instances

Instances details

Eq (TypeArgExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeArgExp VName -> TypeArgExp VName -> Bool # (/=) :: TypeArgExp VName -> TypeArgExp VName -> Bool #
Eq (TypeArgExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeArgExp Name -> TypeArgExp Name -> Bool # (/=) :: TypeArgExp Name -> TypeArgExp Name -> Bool #
Ord (TypeArgExp VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeArgExp VName -> TypeArgExp VName -> Ordering # (<) :: TypeArgExp VName -> TypeArgExp VName -> Bool # (<=) :: TypeArgExp VName -> TypeArgExp VName -> Bool # (>) :: TypeArgExp VName -> TypeArgExp VName -> Bool # (>=) :: TypeArgExp VName -> TypeArgExp VName -> Bool # max :: TypeArgExp VName -> TypeArgExp VName -> TypeArgExp VName # min :: TypeArgExp VName -> TypeArgExp VName -> TypeArgExp VName #
Ord (TypeArgExp Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeArgExp Name -> TypeArgExp Name -> Ordering # (<) :: TypeArgExp Name -> TypeArgExp Name -> Bool # (<=) :: TypeArgExp Name -> TypeArgExp Name -> Bool # (>) :: TypeArgExp Name -> TypeArgExp Name -> Bool # (>=) :: TypeArgExp Name -> TypeArgExp Name -> Bool # max :: TypeArgExp Name -> TypeArgExp Name -> TypeArgExp Name # min :: TypeArgExp Name -> TypeArgExp Name -> TypeArgExp Name #
Show vn => Show (TypeArgExp vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeArgExp vn -> ShowS # show :: TypeArgExp vn -> String # showList :: [TypeArgExp vn] -> ShowS #
(Eq vn, IsName vn) => Pretty (TypeArgExp vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeArgExp vn -> Doc # pprPrec :: Int -> TypeArgExp vn -> Doc # pprList :: [TypeArgExp vn] -> Doc #
Located (TypeArgExp vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeArgExp vn -> Loc # locOfList :: [TypeArgExp vn] -> Loc #
ASTMappable (TypeArgExp VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> TypeArgExp VName -> m (TypeArgExp VName) Source #

data PName Source #

The name (if any) of a function parameter. The Eq and Ord instances always compare values of this type equal.

Constructors

Named VName
Unnamed

Instances

Instances details

Eq PName Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PName -> PName -> Bool # (/=) :: PName -> PName -> Bool #
Ord PName Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PName -> PName -> Ordering # (<) :: PName -> PName -> Bool # (<=) :: PName -> PName -> Bool # (>) :: PName -> PName -> Bool # (>=) :: PName -> PName -> Bool # max :: PName -> PName -> PName # min :: PName -> PName -> PName #
Show PName Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> PName -> ShowS # show :: PName -> String # showList :: [PName] -> ShowS #

data ScalarTypeBase dim as Source #

Types that can be elements of arrays. This representation does allow arrays of records of functions, which is nonsensical, but it convolutes the code too much if we try to statically rule it out.

Constructors

Prim PrimType
TypeVar as Uniqueness TypeName [TypeArg dim]
Record (Map Name (TypeBase dim as))
Sum (Map Name [TypeBase dim as])
Arrow as PName (TypeBase dim as) (TypeBase dim as)	The aliasing corresponds to the lexical closure of the function.

Instances

Instances details

Bifunctor ScalarTypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bimap :: (a -> b) -> (c -> d) -> ScalarTypeBase a c -> ScalarTypeBase b d # first :: (a -> b) -> ScalarTypeBase a c -> ScalarTypeBase b c # second :: (b -> c) -> ScalarTypeBase a b -> ScalarTypeBase a c #
Bitraversable ScalarTypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ScalarTypeBase a b -> f (ScalarTypeBase c d) #
Bifoldable ScalarTypeBase Source #
Instance details Defined in Language.Futhark.Syntax Methods bifold :: Monoid m => ScalarTypeBase m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ScalarTypeBase a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ScalarTypeBase a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ScalarTypeBase a b -> c #
(Eq as, Eq dim) => Eq (ScalarTypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool # (/=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool #
(Ord as, Ord dim) => Ord (ScalarTypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Ordering # (<) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool # (<=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool # (>) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool # (>=) :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> Bool # max :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> ScalarTypeBase dim as # min :: ScalarTypeBase dim as -> ScalarTypeBase dim as -> ScalarTypeBase dim as #
(Show as, Show dim) => Show (ScalarTypeBase dim as) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ScalarTypeBase dim as -> ShowS # show :: ScalarTypeBase dim as -> String # showList :: [ScalarTypeBase dim as] -> ShowS #
Pretty (ShapeDecl dim) => Pretty (ScalarTypeBase dim as) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ScalarTypeBase dim as -> Doc # pprPrec :: Int -> ScalarTypeBase dim as -> Doc # pprList :: [ScalarTypeBase dim as] -> Doc #

type PatternType = TypeBase (DimDecl VName) Aliasing Source #

A type with aliasing information and shape annotations, used for describing the type patterns and expressions.

type StructType = TypeBase (DimDecl VName) () Source #

A "structural" type with shape annotations and no aliasing information, used for declarations.

type ValueType = TypeBase Int64 () Source #

A value type contains full, manifest size information.

data Diet Source #

Information about which parts of a value/type are consumed.

Constructors

RecordDiet (Map Name Diet)	Consumes these fields in the record.
FuncDiet Diet Diet	A function that consumes its argument(s) like this. The final `Diet` should always be `Observe`, as there is no way for a function to consume its return value.
Consume	Consumes this value.
Observe	Only observes value in this position, does not consume.

Instances

Instances details

Eq Diet Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Diet -> Diet -> Bool # (/=) :: Diet -> Diet -> Bool #
Show Diet Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Diet -> ShowS # show :: Diet -> String # showList :: [Diet] -> ShowS #

data TypeDeclBase f vn Source #

A declaration of the type of something.

Constructors

TypeDecl
Fields declaredType :: TypeExp vn The type declared by the user. expandedType :: f StructType The type deduced by the type checker.

Instances

Instances details

Eq (TypeDeclBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (/=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #
Ord (TypeDeclBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Ordering # (<) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (<=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (>) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (>=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # max :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName # min :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #
Showable f vn => Show (TypeDeclBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeDeclBase f vn -> ShowS # show :: TypeDeclBase f vn -> String # showList :: [TypeDeclBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (TypeDeclBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeDeclBase f vn -> Doc # pprPrec :: Int -> TypeDeclBase f vn -> Doc # pprList :: [TypeDeclBase f vn] -> Doc #
Located (TypeDeclBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeDeclBase f vn -> Loc # locOfList :: [TypeDeclBase f vn] -> Loc #
ASTMappable (TypeDeclBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> TypeDeclBase Info VName -> m (TypeDeclBase Info VName) Source #

Values

data IntValue Source #

An integer value.

Constructors

Int8Value !Int8
Int16Value !Int16
Int32Value !Int32
Int64Value !Int64

Instances

Instances details

Eq IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: IntValue -> IntValue -> Bool # (/=) :: IntValue -> IntValue -> Bool #
Ord IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: IntValue -> IntValue -> Ordering # (<) :: IntValue -> IntValue -> Bool # (<=) :: IntValue -> IntValue -> Bool # (>) :: IntValue -> IntValue -> Bool # (>=) :: IntValue -> IntValue -> Bool # max :: IntValue -> IntValue -> IntValue # min :: IntValue -> IntValue -> IntValue #
Show IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> IntValue -> ShowS # show :: IntValue -> String # showList :: [IntValue] -> ShowS #
ToExp IntValue Source #
Instance details Defined in Futhark.CodeGen.Backends.SimpleRep Methods toExp :: IntValue -> SrcLoc -> Exp #
Pretty IntValue Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: IntValue -> Doc # pprPrec :: Int -> IntValue -> Doc # pprList :: [IntValue] -> Doc #
IsValue IntValue Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: IntValue -> PrimValue Source #

data FloatValue Source #

A floating-point value.

Constructors

Float32Value !Float
Float64Value !Double

Instances

Instances details

Eq FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods (==) :: FloatValue -> FloatValue -> Bool # (/=) :: FloatValue -> FloatValue -> Bool #
Ord FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods compare :: FloatValue -> FloatValue -> Ordering # (<) :: FloatValue -> FloatValue -> Bool # (<=) :: FloatValue -> FloatValue -> Bool # (>) :: FloatValue -> FloatValue -> Bool # (>=) :: FloatValue -> FloatValue -> Bool # max :: FloatValue -> FloatValue -> FloatValue # min :: FloatValue -> FloatValue -> FloatValue #
Show FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods showsPrec :: Int -> FloatValue -> ShowS # show :: FloatValue -> String # showList :: [FloatValue] -> ShowS #
ToExp FloatValue Source #
Instance details Defined in Futhark.CodeGen.Backends.SimpleRep Methods toExp :: FloatValue -> SrcLoc -> Exp #
Pretty FloatValue Source #
Instance details Defined in Futhark.IR.Primitive Methods ppr :: FloatValue -> Doc # pprPrec :: Int -> FloatValue -> Doc # pprList :: [FloatValue] -> Doc #
IsValue FloatValue Source #
Instance details Defined in Futhark.IR.Prop.Constants Methods value :: FloatValue -> PrimValue Source #

data PrimValue Source #

Non-array values.

Constructors

SignedValue !IntValue
UnsignedValue !IntValue
FloatValue !FloatValue
BoolValue !Bool

Instances

Instances details

Eq PrimValue Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PrimValue -> PrimValue -> Bool # (/=) :: PrimValue -> PrimValue -> Bool #
Ord PrimValue Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PrimValue -> PrimValue -> Ordering # (<) :: PrimValue -> PrimValue -> Bool # (<=) :: PrimValue -> PrimValue -> Bool # (>) :: PrimValue -> PrimValue -> Bool # (>=) :: PrimValue -> PrimValue -> Bool # max :: PrimValue -> PrimValue -> PrimValue # min :: PrimValue -> PrimValue -> PrimValue #
Show PrimValue Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> PrimValue -> ShowS # show :: PrimValue -> String # showList :: [PrimValue] -> ShowS #
Pretty PrimValue Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: PrimValue -> Doc # pprPrec :: Int -> PrimValue -> Doc # pprList :: [PrimValue] -> Doc #
PutValue PrimValue Source #
Instance details Defined in Futhark.Test.Values Methods putValue :: PrimValue -> Maybe Value Source #

class IsPrimValue v where Source #

A class for converting ordinary Haskell values to primitive Futhark values.

Methods

primValue :: v -> PrimValue Source #

Instances

Instances details

IsPrimValue Bool Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Bool -> PrimValue Source #
IsPrimValue Double Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Double -> PrimValue Source #
IsPrimValue Float Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Float -> PrimValue Source #
IsPrimValue Int Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int -> PrimValue Source #
IsPrimValue Int8 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int8 -> PrimValue Source #
IsPrimValue Int16 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int16 -> PrimValue Source #
IsPrimValue Int32 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int32 -> PrimValue Source #
IsPrimValue Int64 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Int64 -> PrimValue Source #
IsPrimValue Word8 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Word8 -> PrimValue Source #
IsPrimValue Word16 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Word16 -> PrimValue Source #
IsPrimValue Word32 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Word32 -> PrimValue Source #
IsPrimValue Word64 Source #
Instance details Defined in Language.Futhark.Syntax Methods primValue :: Word64 -> PrimValue Source #

data Value Source #

Simple Futhark values. Values are fully evaluated and their type is always unambiguous.

Constructors

PrimValue !PrimValue
ArrayValue !(Array Int Value) ValueType	It is assumed that the array is 0-indexed. The type is the full type.

Instances

Instances details

Eq Value Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Pretty Value Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: Value -> Doc # pprPrec :: Int -> Value -> Doc # pprList :: [Value] -> Doc #

Abstract syntax tree

data AttrInfo Source #

The payload of an attribute.

Constructors

AttrAtom Name
AttrComp Name [AttrInfo]

Instances

Instances details

Eq AttrInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: AttrInfo -> AttrInfo -> Bool # (/=) :: AttrInfo -> AttrInfo -> Bool #
Ord AttrInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: AttrInfo -> AttrInfo -> Ordering # (<) :: AttrInfo -> AttrInfo -> Bool # (<=) :: AttrInfo -> AttrInfo -> Bool # (>) :: AttrInfo -> AttrInfo -> Bool # (>=) :: AttrInfo -> AttrInfo -> Bool # max :: AttrInfo -> AttrInfo -> AttrInfo # min :: AttrInfo -> AttrInfo -> AttrInfo #
Show AttrInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> AttrInfo -> ShowS # show :: AttrInfo -> String # showList :: [AttrInfo] -> ShowS #
Pretty AttrInfo Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: AttrInfo -> Doc # pprPrec :: Int -> AttrInfo -> Doc # pprList :: [AttrInfo] -> Doc #

data BinOp Source #

Default binary operators.

Constructors

Backtick	A pseudo-operator standing in for any normal identifier used as an operator (they all have the same fixity). Binary Ops for Numbers
Plus
Minus
Pow
Times
Divide
Mod
Quot
Rem
ShiftR
ShiftL
Band
Xor
Bor
LogAnd
LogOr
Equal
NotEqual
Less
Leq
Greater
Geq
PipeRight	\|>
PipeLeft	`<\|` Misc

Instances

Instances details

Bounded BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods minBound :: BinOp # maxBound :: BinOp #
Enum BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods succ :: BinOp -> BinOp # pred :: BinOp -> BinOp # toEnum :: Int -> BinOp # fromEnum :: BinOp -> Int # enumFrom :: BinOp -> [BinOp] # enumFromThen :: BinOp -> BinOp -> [BinOp] # enumFromTo :: BinOp -> BinOp -> [BinOp] # enumFromThenTo :: BinOp -> BinOp -> BinOp -> [BinOp] #
Eq BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Ord BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: BinOp -> BinOp -> Ordering # (<) :: BinOp -> BinOp -> Bool # (<=) :: BinOp -> BinOp -> Bool # (>) :: BinOp -> BinOp -> Bool # (>=) :: BinOp -> BinOp -> Bool # max :: BinOp -> BinOp -> BinOp # min :: BinOp -> BinOp -> BinOp #
Show BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #
Pretty BinOp Source #
Instance details Defined in Language.Futhark.Syntax Methods ppr :: BinOp -> Doc # pprPrec :: Int -> BinOp -> Doc # pprList :: [BinOp] -> Doc #

data IdentBase f vn Source #

An identifier consists of its name and the type of the value bound to the identifier.

Constructors

Ident
Fields identName :: vn identType :: f PatternType identSrcLoc :: SrcLoc

Instances

Instances details

Eq vn => Eq (IdentBase ty vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: IdentBase ty vn -> IdentBase ty vn -> Bool # (/=) :: IdentBase ty vn -> IdentBase ty vn -> Bool #
Ord vn => Ord (IdentBase ty vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: IdentBase ty vn -> IdentBase ty vn -> Ordering # (<) :: IdentBase ty vn -> IdentBase ty vn -> Bool # (<=) :: IdentBase ty vn -> IdentBase ty vn -> Bool # (>) :: IdentBase ty vn -> IdentBase ty vn -> Bool # (>=) :: IdentBase ty vn -> IdentBase ty vn -> Bool # max :: IdentBase ty vn -> IdentBase ty vn -> IdentBase ty vn # min :: IdentBase ty vn -> IdentBase ty vn -> IdentBase ty vn #
Showable f vn => Show (IdentBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> IdentBase f vn -> ShowS # show :: IdentBase f vn -> String # showList :: [IdentBase f vn] -> ShowS #
IsName vn => Pretty (IdentBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: IdentBase f vn -> Doc # pprPrec :: Int -> IdentBase f vn -> Doc # pprList :: [IdentBase f vn] -> Doc #
Located (IdentBase ty vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: IdentBase ty vn -> Loc # locOfList :: [IdentBase ty vn] -> Loc #
ASTMappable (IdentBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName) Source #

data Inclusiveness a Source #

Whether a bound for an end-point of a DimSlice or a range literal is inclusive or exclusive.

Constructors

DownToExclusive a
ToInclusive a	May be "down to" if step is negative.
UpToExclusive a

Instances

Instances details

Functor Inclusiveness Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> Inclusiveness a -> Inclusiveness b # (<$) :: a -> Inclusiveness b -> Inclusiveness a #
Foldable Inclusiveness Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => Inclusiveness m -> m # foldMap :: Monoid m => (a -> m) -> Inclusiveness a -> m # foldMap' :: Monoid m => (a -> m) -> Inclusiveness a -> m # foldr :: (a -> b -> b) -> b -> Inclusiveness a -> b # foldr' :: (a -> b -> b) -> b -> Inclusiveness a -> b # foldl :: (b -> a -> b) -> b -> Inclusiveness a -> b # foldl' :: (b -> a -> b) -> b -> Inclusiveness a -> b # foldr1 :: (a -> a -> a) -> Inclusiveness a -> a # foldl1 :: (a -> a -> a) -> Inclusiveness a -> a # toList :: Inclusiveness a -> [a] # null :: Inclusiveness a -> Bool # length :: Inclusiveness a -> Int # elem :: Eq a => a -> Inclusiveness a -> Bool # maximum :: Ord a => Inclusiveness a -> a # minimum :: Ord a => Inclusiveness a -> a # sum :: Num a => Inclusiveness a -> a # product :: Num a => Inclusiveness a -> a #
Traversable Inclusiveness Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> Inclusiveness a -> f (Inclusiveness b) # sequenceA :: Applicative f => Inclusiveness (f a) -> f (Inclusiveness a) # mapM :: Monad m => (a -> m b) -> Inclusiveness a -> m (Inclusiveness b) # sequence :: Monad m => Inclusiveness (m a) -> m (Inclusiveness a) #
Eq a => Eq (Inclusiveness a) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Inclusiveness a -> Inclusiveness a -> Bool # (/=) :: Inclusiveness a -> Inclusiveness a -> Bool #
Ord a => Ord (Inclusiveness a) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: Inclusiveness a -> Inclusiveness a -> Ordering # (<) :: Inclusiveness a -> Inclusiveness a -> Bool # (<=) :: Inclusiveness a -> Inclusiveness a -> Bool # (>) :: Inclusiveness a -> Inclusiveness a -> Bool # (>=) :: Inclusiveness a -> Inclusiveness a -> Bool # max :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a # min :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a #
Show a => Show (Inclusiveness a) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Inclusiveness a -> ShowS # show :: Inclusiveness a -> String # showList :: [Inclusiveness a] -> ShowS #
Located a => Located (Inclusiveness a) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: Inclusiveness a -> Loc # locOfList :: [Inclusiveness a] -> Loc #

data DimIndexBase f vn Source #

An indexing of a single dimension.

Constructors

DimFix (ExpBase f vn)
DimSlice (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn)) (Maybe (ExpBase f vn))

Instances

Instances details

Eq (DimIndexBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #
Ord (DimIndexBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Ordering # (<) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (<=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (>) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (>=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # max :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName # min :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #
Showable f vn => Show (DimIndexBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> DimIndexBase f vn -> ShowS # show :: DimIndexBase f vn -> String # showList :: [DimIndexBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (DimIndexBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: DimIndexBase f vn -> Doc # pprPrec :: Int -> DimIndexBase f vn -> Doc # pprList :: [DimIndexBase f vn] -> Doc #
ASTMappable (DimIndexBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName) Source #

data ExpBase f vn Source #

The Futhark expression language.

In a value of type Exp f vn, annotations are wrapped in the functor f, and all names are of type vn.

This allows us to encode whether or not the expression has been type-checked in the Haskell type of the expression. Specifically, the parser will produce expressions of type Exp NoInfo Name, and the type checker will convert these to Exp Info VName, in which type information is always present and all names are unique.

Constructors

Literal PrimValue SrcLoc
IntLit Integer (f PatternType) SrcLoc	A polymorphic integral literal.
FloatLit Double (f PatternType) SrcLoc	A polymorphic decimal literal.
StringLit [Word8] SrcLoc	A string literal is just a fancy syntax for an array of bytes.
Parens (ExpBase f vn) SrcLoc	A parenthesized expression.
QualParens (QualName vn, SrcLoc) (ExpBase f vn) SrcLoc
TupLit [ExpBase f vn] SrcLoc	Tuple literals, e.g., `{1+3, {x, y+z}}`.
RecordLit [FieldBase f vn] SrcLoc	Record literals, e.g. `{x=2,y=3,z}`.
ArrayLit [ExpBase f vn] (f PatternType) SrcLoc	Array literals, e.g., `[ [1+x, 3], [2, 1+4] ]`. Second arg is the row type of the rows of the array.
Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) (f PatternType, f [VName]) SrcLoc
Var (QualName vn) (f PatternType) SrcLoc
Ascript (ExpBase f vn) (TypeDeclBase f vn) SrcLoc	Type ascription: `e : t`.
Coerce (ExpBase f vn) (TypeDeclBase f vn) (f PatternType, f [VName]) SrcLoc	Size coercion: `e :> t`.
LetPat (PatternBase f vn) (ExpBase f vn) (ExpBase f vn) (f PatternType, f [VName]) SrcLoc
LetFun vn ([TypeParamBase vn], [PatternBase f vn], Maybe (TypeExp vn), f StructType, ExpBase f vn) (ExpBase f vn) (f PatternType) SrcLoc
If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) (f PatternType, f [VName]) SrcLoc
Apply (ExpBase f vn) (ExpBase f vn) (f (Diet, Maybe VName)) (f PatternType, f [VName]) SrcLoc	The `Maybe VName` is a possible existential size that is instantiated by this argument.. The `[VName]` are the existential sizes that come into being at this call site.
Negate (ExpBase f vn) SrcLoc	Numeric negation (ugly special case; Haskell did it first).
Lambda [PatternBase f vn] (ExpBase f vn) (Maybe (TypeExp vn)) (f (Aliasing, StructType)) SrcLoc
OpSection (QualName vn) (f PatternType) SrcLoc	`+`; first two types are operands, third is result.
OpSectionLeft (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType, Maybe VName), f (PName, StructType)) (f PatternType, f [VName]) SrcLoc	`2+`; first type is operand, second is result.
OpSectionRight (QualName vn) (f PatternType) (ExpBase f vn) (f (PName, StructType), f (PName, StructType, Maybe VName)) (f PatternType) SrcLoc	`+2`; first type is operand, second is result.
ProjectSection [Name] (f PatternType) SrcLoc	Field projection as a section: `(.x.y.z)`.
IndexSection [DimIndexBase f vn] (f PatternType) SrcLoc	Array indexing as a section: `(.[i,j])`.
DoLoop [VName] (PatternBase f vn) (ExpBase f vn) (LoopFormBase f vn) (ExpBase f vn) (f (PatternType, [VName])) SrcLoc
BinOp (QualName vn, SrcLoc) (f PatternType) (ExpBase f vn, f (StructType, Maybe VName)) (ExpBase f vn, f (StructType, Maybe VName)) (f PatternType) (f [VName]) SrcLoc
Project Name (ExpBase f vn) (f PatternType) SrcLoc
LetWith (IdentBase f vn) (IdentBase f vn) [DimIndexBase f vn] (ExpBase f vn) (ExpBase f vn) (f PatternType) SrcLoc
Index (ExpBase f vn) [DimIndexBase f vn] (f PatternType, f [VName]) SrcLoc
Update (ExpBase f vn) [DimIndexBase f vn] (ExpBase f vn) SrcLoc
RecordUpdate (ExpBase f vn) [Name] (ExpBase f vn) (f PatternType) SrcLoc
Assert (ExpBase f vn) (ExpBase f vn) (f String) SrcLoc	Fail if the first expression does not return true, and return the value of the second expression if it does.
Constr Name [ExpBase f vn] (f PatternType) SrcLoc	An n-ary value constructor.
Match (ExpBase f vn) (NonEmpty (CaseBase f vn)) (f PatternType, f [VName]) SrcLoc	A match expression.
Attr AttrInfo (ExpBase f vn) SrcLoc	An attribute applied to the following expression.

Instances

Instances details

Eq (ExpBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #
Ord (ExpBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Ordering # (<) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (<=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (>) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (>=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # max :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName # min :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #
Showable f vn => Show (ExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ExpBase f vn -> ShowS # show :: ExpBase f vn -> String # showList :: [ExpBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ExpBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ExpBase f vn -> Doc # pprPrec :: Int -> ExpBase f vn -> Doc # pprList :: [ExpBase f vn] -> Doc #
Located (ExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ExpBase f vn -> Loc # locOfList :: [ExpBase f vn] -> Loc #
ASTMappable (ExpBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName) Source #

data FieldBase f vn Source #

An entry in a record literal.

Constructors

RecordFieldExplicit Name (ExpBase f vn) SrcLoc
RecordFieldImplicit vn (f PatternType) SrcLoc

Instances

Instances details

Eq (FieldBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #
Ord (FieldBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Ordering # (<) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (<=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (>) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (>=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # max :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName # min :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #
Showable f vn => Show (FieldBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> FieldBase f vn -> ShowS # show :: FieldBase f vn -> String # showList :: [FieldBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (FieldBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: FieldBase f vn -> Doc # pprPrec :: Int -> FieldBase f vn -> Doc # pprList :: [FieldBase f vn] -> Doc #
Located (FieldBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: FieldBase f vn -> Loc # locOfList :: [FieldBase f vn] -> Loc #
ASTMappable (FieldBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName) Source #

data CaseBase f vn Source #

A case in a match expression.

Constructors

CasePat (PatternBase f vn) (ExpBase f vn) SrcLoc

Instances

Instances details

Eq (CaseBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #
Ord (CaseBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Ordering # (<) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (<=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (>) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (>=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # max :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName # min :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #
Showable f vn => Show (CaseBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> CaseBase f vn -> ShowS # show :: CaseBase f vn -> String # showList :: [CaseBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (CaseBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: CaseBase f vn -> Doc # pprPrec :: Int -> CaseBase f vn -> Doc # pprList :: [CaseBase f vn] -> Doc #
Located (CaseBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: CaseBase f vn -> Loc # locOfList :: [CaseBase f vn] -> Loc #
ASTMappable (CaseBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName) Source #

data LoopFormBase f vn Source #

Whether the loop is a for-loop or a while-loop.

Constructors

For (IdentBase f vn) (ExpBase f vn)
ForIn (PatternBase f vn) (ExpBase f vn)
While (ExpBase f vn)

Instances

Instances details

Eq (LoopFormBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #
Ord (LoopFormBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Ordering # (<) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (<=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (>) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (>=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # max :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName # min :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #
Showable f vn => Show (LoopFormBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> LoopFormBase f vn -> ShowS # show :: LoopFormBase f vn -> String # showList :: [LoopFormBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (LoopFormBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: LoopFormBase f vn -> Doc # pprPrec :: Int -> LoopFormBase f vn -> Doc # pprList :: [LoopFormBase f vn] -> Doc #
ASTMappable (LoopFormBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName) Source #

data PatLit Source #

A literal in a pattern.

Constructors

PatLitInt Integer
PatLitFloat Double
PatLitPrim PrimValue

Instances

Instances details

Eq PatLit Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PatLit -> PatLit -> Bool # (/=) :: PatLit -> PatLit -> Bool #
Ord PatLit Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PatLit -> PatLit -> Ordering # (<) :: PatLit -> PatLit -> Bool # (<=) :: PatLit -> PatLit -> Bool # (>) :: PatLit -> PatLit -> Bool # (>=) :: PatLit -> PatLit -> Bool # max :: PatLit -> PatLit -> PatLit # min :: PatLit -> PatLit -> PatLit #
Show PatLit Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> PatLit -> ShowS # show :: PatLit -> String # showList :: [PatLit] -> ShowS #
Pretty PatLit Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: PatLit -> Doc # pprPrec :: Int -> PatLit -> Doc # pprList :: [PatLit] -> Doc #

data PatternBase f vn Source #

A pattern as used most places where variables are bound (function parameters, let expressions, etc).

Constructors

TuplePattern [PatternBase f vn] SrcLoc
RecordPattern [(Name, PatternBase f vn)] SrcLoc
PatternParens (PatternBase f vn) SrcLoc
Id vn (f PatternType) SrcLoc
Wildcard (f PatternType) SrcLoc
PatternAscription (PatternBase f vn) (TypeDeclBase f vn) SrcLoc
PatternLit PatLit (f PatternType) SrcLoc
PatternConstr Name (f PatternType) [PatternBase f vn] SrcLoc

Instances

Instances details

Substitutable Pattern Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> Pattern -> Pattern Source #
Eq (PatternBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (/=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #
Ord (PatternBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Ordering # (<) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (<=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (>) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (>=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # max :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName # min :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #
Showable f vn => Show (PatternBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> PatternBase f vn -> ShowS # show :: PatternBase f vn -> String # showList :: [PatternBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (PatternBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: PatternBase f vn -> Doc # pprPrec :: Int -> PatternBase f vn -> Doc # pprList :: [PatternBase f vn] -> Doc #
Located (PatternBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: PatternBase f vn -> Loc # locOfList :: [PatternBase f vn] -> Loc #
ASTMappable (PatternBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> PatternBase Info VName -> m (PatternBase Info VName) Source #

Module language

data SpecBase f vn Source #

A spec is a component of a module type.

Constructors

ValSpec
Fields specName :: vn specTypeParams :: [TypeParamBase vn] specType :: TypeDeclBase f vn specDoc :: Maybe DocComment specLocation :: SrcLoc
TypeAbbrSpec (TypeBindBase f vn)
TypeSpec Liftedness vn [TypeParamBase vn] (Maybe DocComment) SrcLoc	Abstract type.
ModSpec vn (SigExpBase f vn) (Maybe DocComment) SrcLoc
IncludeSpec (SigExpBase f vn) SrcLoc

Instances

Instances details

Showable f vn => Show (SpecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> SpecBase f vn -> ShowS # show :: SpecBase f vn -> String # showList :: [SpecBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (SpecBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: SpecBase f vn -> Doc # pprPrec :: Int -> SpecBase f vn -> Doc # pprList :: [SpecBase f vn] -> Doc #
Located (SpecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SpecBase f vn -> Loc # locOfList :: [SpecBase f vn] -> Loc #

data SigExpBase f vn Source #

A module type expression.

Constructors

SigVar (QualName vn) (f (Map VName VName)) SrcLoc
SigParens (SigExpBase f vn) SrcLoc
SigSpecs [SpecBase f vn] SrcLoc
SigWith (SigExpBase f vn) (TypeRefBase f vn) SrcLoc
SigArrow (Maybe vn) (SigExpBase f vn) (SigExpBase f vn) SrcLoc

Instances

Instances details

Showable f vn => Show (SigExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> SigExpBase f vn -> ShowS # show :: SigExpBase f vn -> String # showList :: [SigExpBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (SigExpBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: SigExpBase f vn -> Doc # pprPrec :: Int -> SigExpBase f vn -> Doc # pprList :: [SigExpBase f vn] -> Doc #
Located (SigExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SigExpBase f vn -> Loc # locOfList :: [SigExpBase f vn] -> Loc #

data TypeRefBase f vn Source #

A type refinement.

Constructors

TypeRef (QualName vn) [TypeParamBase vn] (TypeDeclBase f vn) SrcLoc

Instances

Instances details

Showable f vn => Show (TypeRefBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeRefBase f vn -> ShowS # show :: TypeRefBase f vn -> String # showList :: [TypeRefBase f vn] -> ShowS #
Located (TypeRefBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeRefBase f vn -> Loc # locOfList :: [TypeRefBase f vn] -> Loc #

data SigBindBase f vn Source #

Module type binding.

Constructors

SigBind
Fields sigName :: vn sigExp :: SigExpBase f vn sigDoc :: Maybe DocComment sigLoc :: SrcLoc

Instances

Instances details

Showable f vn => Show (SigBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> SigBindBase f vn -> ShowS # show :: SigBindBase f vn -> String # showList :: [SigBindBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (SigBindBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: SigBindBase f vn -> Doc # pprPrec :: Int -> SigBindBase f vn -> Doc # pprList :: [SigBindBase f vn] -> Doc #
Located (SigBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SigBindBase f vn -> Loc # locOfList :: [SigBindBase f vn] -> Loc #

data ModExpBase f vn Source #

Module expression.

Constructors

ModVar (QualName vn) SrcLoc
ModParens (ModExpBase f vn) SrcLoc
ModImport FilePath (f FilePath) SrcLoc	The contents of another file as a module.
ModDecs [DecBase f vn] SrcLoc
ModApply (ModExpBase f vn) (ModExpBase f vn) (f (Map VName VName)) (f (Map VName VName)) SrcLoc	Functor application. The first mapping is from parameter names to argument names, while the second maps names in the constructed module to the names inside the functor.
ModAscript (ModExpBase f vn) (SigExpBase f vn) (f (Map VName VName)) SrcLoc
ModLambda (ModParamBase f vn) (Maybe (SigExpBase f vn, f (Map VName VName))) (ModExpBase f vn) SrcLoc

Instances

Instances details

Showable f vn => Show (ModExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ModExpBase f vn -> ShowS # show :: ModExpBase f vn -> String # showList :: [ModExpBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ModExpBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ModExpBase f vn -> Doc # pprPrec :: Int -> ModExpBase f vn -> Doc # pprList :: [ModExpBase f vn] -> Doc #
Located (ModExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModExpBase f vn -> Loc # locOfList :: [ModExpBase f vn] -> Loc #

data ModBindBase f vn Source #

A module binding.

Constructors

ModBind
Fields modName :: vn modParams :: [ModParamBase f vn] modSignature :: Maybe (SigExpBase f vn, f (Map VName VName)) modExp :: ModExpBase f vn modDoc :: Maybe DocComment modLocation :: SrcLoc

Instances

Instances details

Showable f vn => Show (ModBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ModBindBase f vn -> ShowS # show :: ModBindBase f vn -> String # showList :: [ModBindBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ModBindBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ModBindBase f vn -> Doc # pprPrec :: Int -> ModBindBase f vn -> Doc # pprList :: [ModBindBase f vn] -> Doc #
Located (ModBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModBindBase f vn -> Loc # locOfList :: [ModBindBase f vn] -> Loc #

data ModParamBase f vn Source #

A module parameter.

Constructors

ModParam
Fields modParamName :: vn modParamType :: SigExpBase f vn modParamAbs :: f [VName] modParamLocation :: SrcLoc

Instances

Instances details

Showable f vn => Show (ModParamBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ModParamBase f vn -> ShowS # show :: ModParamBase f vn -> String # showList :: [ModParamBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ModParamBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ModParamBase f vn -> Doc # pprPrec :: Int -> ModParamBase f vn -> Doc # pprList :: [ModParamBase f vn] -> Doc #
Located (ModParamBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModParamBase f vn -> Loc # locOfList :: [ModParamBase f vn] -> Loc #

Definitions

data DocComment Source #

Documentation strings, including source location.

Constructors

DocComment String SrcLoc

Instances

Instances details

Show DocComment Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> DocComment -> ShowS # show :: DocComment -> String # showList :: [DocComment] -> ShowS #
Located DocComment Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: DocComment -> Loc # locOfList :: [DocComment] -> Loc #

data ValBindBase f vn Source #

Function Declarations

Constructors

ValBind

Fields

valBindEntryPoint :: Maybe (f EntryPoint)
Just if this function is an entry point. If so, it also contains the externally visible interface. Note that this may not strictly be well-typed after some desugaring operations, as it may refer to abstract types that are no longer in scope.
valBindName :: vn
valBindRetDecl :: Maybe (TypeExp vn)
valBindRetType :: f (StructType, [VName])
valBindTypeParams :: [TypeParamBase vn]
valBindParams :: [PatternBase f vn]
valBindBody :: ExpBase f vn
valBindDoc :: Maybe DocComment
valBindAttrs :: [AttrInfo]
valBindLocation :: SrcLoc

Instances

Instances details

Showable f vn => Show (ValBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ValBindBase f vn -> ShowS # show :: ValBindBase f vn -> String # showList :: [ValBindBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ValBindBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ValBindBase f vn -> Doc # pprPrec :: Int -> ValBindBase f vn -> Doc # pprList :: [ValBindBase f vn] -> Doc #
Located (ValBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ValBindBase f vn -> Loc # locOfList :: [ValBindBase f vn] -> Loc #

data EntryPoint Source #

Information about the external interface exposed by an entry point. The important thing is that that we remember the original source-language types, without desugaring them at all. The annoying thing is that we do not require type annotations on entry points, so the types can be either ascribed or inferred.

Constructors

EntryPoint
Fields entryParams :: [EntryType] entryReturn :: EntryType

Instances

Instances details

Show EntryPoint Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> EntryPoint -> ShowS # show :: EntryPoint -> String # showList :: [EntryPoint] -> ShowS #

data EntryType Source #

Part of the type of an entry point. Has an actual type, and maybe also an ascribed type expression.

Constructors

EntryType
Fields entryType :: StructType entryAscribed :: Maybe (TypeExp VName)

Instances

Instances details

Show EntryType Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> EntryType -> ShowS # show :: EntryType -> String # showList :: [EntryType] -> ShowS #

data Liftedness Source #

The liftedness of a type parameter. By the Ord instance, Unlifted < SizeLifted < Lifted.

Constructors

Unlifted	May only be instantiated with a zero-order type of (possibly symbolically) known size.
SizeLifted	May only be instantiated with a zero-order type, but the size can be varying.
Lifted	May be instantiated with a functional type.

Instances

Instances details

Eq Liftedness Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Liftedness -> Liftedness -> Bool # (/=) :: Liftedness -> Liftedness -> Bool #
Ord Liftedness Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: Liftedness -> Liftedness -> Ordering # (<) :: Liftedness -> Liftedness -> Bool # (<=) :: Liftedness -> Liftedness -> Bool # (>) :: Liftedness -> Liftedness -> Bool # (>=) :: Liftedness -> Liftedness -> Bool # max :: Liftedness -> Liftedness -> Liftedness # min :: Liftedness -> Liftedness -> Liftedness #
Show Liftedness Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Liftedness -> ShowS # show :: Liftedness -> String # showList :: [Liftedness] -> ShowS #
Pretty Liftedness Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: Liftedness -> Doc # pprPrec :: Int -> Liftedness -> Doc # pprList :: [Liftedness] -> Doc #

data TypeBindBase f vn Source #

Type Declarations

Constructors

TypeBind
Fields typeAlias :: vn typeLiftedness :: Liftedness typeParams :: [TypeParamBase vn] typeExp :: TypeDeclBase f vn typeDoc :: Maybe DocComment typeBindLocation :: SrcLoc

Instances

Instances details

Showable f vn => Show (TypeBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeBindBase f vn -> ShowS # show :: TypeBindBase f vn -> String # showList :: [TypeBindBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (TypeBindBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeBindBase f vn -> Doc # pprPrec :: Int -> TypeBindBase f vn -> Doc # pprList :: [TypeBindBase f vn] -> Doc #
Located (TypeBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeBindBase f vn -> Loc # locOfList :: [TypeBindBase f vn] -> Loc #

data TypeParamBase vn Source #

A type parameter.

Constructors

TypeParamDim vn SrcLoc	A type parameter that must be a size.
TypeParamType Liftedness vn SrcLoc	A type parameter that must be a type.

Instances

Instances details

Functor TypeParamBase Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> TypeParamBase a -> TypeParamBase b # (<$) :: a -> TypeParamBase b -> TypeParamBase a #
Foldable TypeParamBase Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => TypeParamBase m -> m # foldMap :: Monoid m => (a -> m) -> TypeParamBase a -> m # foldMap' :: Monoid m => (a -> m) -> TypeParamBase a -> m # foldr :: (a -> b -> b) -> b -> TypeParamBase a -> b # foldr' :: (a -> b -> b) -> b -> TypeParamBase a -> b # foldl :: (b -> a -> b) -> b -> TypeParamBase a -> b # foldl' :: (b -> a -> b) -> b -> TypeParamBase a -> b # foldr1 :: (a -> a -> a) -> TypeParamBase a -> a # foldl1 :: (a -> a -> a) -> TypeParamBase a -> a # toList :: TypeParamBase a -> [a] # null :: TypeParamBase a -> Bool # length :: TypeParamBase a -> Int # elem :: Eq a => a -> TypeParamBase a -> Bool # maximum :: Ord a => TypeParamBase a -> a # minimum :: Ord a => TypeParamBase a -> a # sum :: Num a => TypeParamBase a -> a # product :: Num a => TypeParamBase a -> a #
Traversable TypeParamBase Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> TypeParamBase a -> f (TypeParamBase b) # sequenceA :: Applicative f => TypeParamBase (f a) -> f (TypeParamBase a) # mapM :: Monad m => (a -> m b) -> TypeParamBase a -> m (TypeParamBase b) # sequence :: Monad m => TypeParamBase (m a) -> m (TypeParamBase a) #
Eq vn => Eq (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeParamBase vn -> TypeParamBase vn -> Bool # (/=) :: TypeParamBase vn -> TypeParamBase vn -> Bool #
Ord vn => Ord (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeParamBase vn -> TypeParamBase vn -> Ordering # (<) :: TypeParamBase vn -> TypeParamBase vn -> Bool # (<=) :: TypeParamBase vn -> TypeParamBase vn -> Bool # (>) :: TypeParamBase vn -> TypeParamBase vn -> Bool # (>=) :: TypeParamBase vn -> TypeParamBase vn -> Bool # max :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn # min :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn #
Show vn => Show (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> TypeParamBase vn -> ShowS # show :: TypeParamBase vn -> String # showList :: [TypeParamBase vn] -> ShowS #
(Eq vn, IsName vn) => Pretty (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: TypeParamBase vn -> Doc # pprPrec :: Int -> TypeParamBase vn -> Doc # pprList :: [TypeParamBase vn] -> Doc #
Located (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeParamBase vn -> Loc # locOfList :: [TypeParamBase vn] -> Loc #
ASTMappable (TypeParamBase VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> TypeParamBase VName -> m (TypeParamBase VName) Source #

typeParamName :: TypeParamBase vn -> vn Source #

The name of a type parameter.

data ProgBase f vn Source #

The program described by a single Futhark file. May depend on other files.

Constructors

Prog
Fields progDoc :: Maybe DocComment progDecs :: [DecBase f vn]

Instances

Instances details

Showable f vn => Show (ProgBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> ProgBase f vn -> ShowS # show :: ProgBase f vn -> String # showList :: [ProgBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (ProgBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: ProgBase f vn -> Doc # pprPrec :: Int -> ProgBase f vn -> Doc # pprList :: [ProgBase f vn] -> Doc #

data DecBase f vn Source #

A top-level binding.

Constructors

ValDec (ValBindBase f vn)
TypeDec (TypeBindBase f vn)
SigDec (SigBindBase f vn)
ModDec (ModBindBase f vn)
OpenDec (ModExpBase f vn) SrcLoc
LocalDec (DecBase f vn) SrcLoc
ImportDec FilePath (f FilePath) SrcLoc

Instances

Instances details

Showable f vn => Show (DecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> DecBase f vn -> ShowS # show :: DecBase f vn -> String # showList :: [DecBase f vn] -> ShowS #
(Eq vn, IsName vn, Annot f) => Pretty (DecBase f vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: DecBase f vn -> Doc # pprPrec :: Int -> DecBase f vn -> Doc # pprList :: [DecBase f vn] -> Doc #
Located (DecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: DecBase f vn -> Loc # locOfList :: [DecBase f vn] -> Loc #

Miscellaneous

class (Show vn, Show (f VName), Show (f (Diet, Maybe VName)), Show (f String), Show (f [VName]), Show (f ([VName], [VName])), Show (f PatternType), Show (f (PatternType, [VName])), Show (f (StructType, [VName])), Show (f EntryPoint), Show (f Int), Show (f StructType), Show (f (StructType, Maybe VName)), Show (f (PName, StructType)), Show (f (PName, StructType, Maybe VName)), Show (f (Aliasing, StructType)), Show (f (Map VName VName)), Show (f Uniqueness)) => Showable f vn Source #

Convenience class for deriving Show instances for the AST.

Instances

Instances details

Show vn => Showable Info vn Source #
Instance details Defined in Language.Futhark.Syntax
Show vn => Showable NoInfo vn Source #
Instance details Defined in Language.Futhark.Syntax

data NoInfo a Source #

No information functor. Usually used for placeholder type- or aliasing information.

Constructors

NoInfo

Instances

Instances details

Functor NoInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> NoInfo a -> NoInfo b # (<$) :: a -> NoInfo b -> NoInfo a #
Foldable NoInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => NoInfo m -> m # foldMap :: Monoid m => (a -> m) -> NoInfo a -> m # foldMap' :: Monoid m => (a -> m) -> NoInfo a -> m # foldr :: (a -> b -> b) -> b -> NoInfo a -> b # foldr' :: (a -> b -> b) -> b -> NoInfo a -> b # foldl :: (b -> a -> b) -> b -> NoInfo a -> b # foldl' :: (b -> a -> b) -> b -> NoInfo a -> b # foldr1 :: (a -> a -> a) -> NoInfo a -> a # foldl1 :: (a -> a -> a) -> NoInfo a -> a # toList :: NoInfo a -> [a] # null :: NoInfo a -> Bool # length :: NoInfo a -> Int # elem :: Eq a => a -> NoInfo a -> Bool # maximum :: Ord a => NoInfo a -> a # minimum :: Ord a => NoInfo a -> a # sum :: Num a => NoInfo a -> a # product :: Num a => NoInfo a -> a #
Traversable NoInfo Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> NoInfo a -> f (NoInfo b) # sequenceA :: Applicative f => NoInfo (f a) -> f (NoInfo a) # mapM :: Monad m => (a -> m b) -> NoInfo a -> m (NoInfo b) # sequence :: Monad m => NoInfo (m a) -> m (NoInfo a) #
Annot NoInfo Source #
Instance details Defined in Language.Futhark.Pretty Methods unAnnot :: NoInfo a -> Maybe a Source #
Show vn => Showable NoInfo vn Source #
Instance details Defined in Language.Futhark.Syntax
Eq (NoInfo a) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: NoInfo a -> NoInfo a -> Bool # (/=) :: NoInfo a -> NoInfo a -> Bool #
Ord (NoInfo a) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: NoInfo a -> NoInfo a -> Ordering # (<) :: NoInfo a -> NoInfo a -> Bool # (<=) :: NoInfo a -> NoInfo a -> Bool # (>) :: NoInfo a -> NoInfo a -> Bool # (>=) :: NoInfo a -> NoInfo a -> Bool # max :: NoInfo a -> NoInfo a -> NoInfo a # min :: NoInfo a -> NoInfo a -> NoInfo a #
Show (NoInfo a) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> NoInfo a -> ShowS # show :: NoInfo a -> String # showList :: [NoInfo a] -> ShowS #
Eq (PatternBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (/=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool #
Eq (LoopFormBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool #
Eq (CaseBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool #
Eq (FieldBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool #
Eq (ExpBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool #
Eq (DimIndexBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool #
Eq (TypeDeclBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (/=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool #
Ord (PatternBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Ordering # (<) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (<=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (>) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # (>=) :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> Bool # max :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName # min :: PatternBase NoInfo VName -> PatternBase NoInfo VName -> PatternBase NoInfo VName #
Ord (LoopFormBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Ordering # (<) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (<=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (>) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # (>=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool # max :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName # min :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName #
Ord (CaseBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Ordering # (<) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (<=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (>) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # (>=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool # max :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName # min :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> CaseBase NoInfo VName #
Ord (FieldBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Ordering # (<) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (<=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (>) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # (>=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool # max :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName # min :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> FieldBase NoInfo VName #
Ord (ExpBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Ordering # (<) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (<=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (>) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # (>=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool # max :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName # min :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> ExpBase NoInfo VName #
Ord (DimIndexBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Ordering # (<) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (<=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (>) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # (>=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool # max :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName # min :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName #
Ord (TypeDeclBase NoInfo VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Ordering # (<) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (<=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (>) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # (>=) :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> Bool # max :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName # min :: TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName -> TypeDeclBase NoInfo VName #

newtype Info a Source #

Some information. The dual to NoInfo

Constructors

Info
Fields unInfo :: a

Instances

Instances details

Functor Info Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> Info a -> Info b # (<$) :: a -> Info b -> Info a #
Foldable Info Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => Info m -> m # foldMap :: Monoid m => (a -> m) -> Info a -> m # foldMap' :: Monoid m => (a -> m) -> Info a -> m # foldr :: (a -> b -> b) -> b -> Info a -> b # foldr' :: (a -> b -> b) -> b -> Info a -> b # foldl :: (b -> a -> b) -> b -> Info a -> b # foldl' :: (b -> a -> b) -> b -> Info a -> b # foldr1 :: (a -> a -> a) -> Info a -> a # foldl1 :: (a -> a -> a) -> Info a -> a # toList :: Info a -> [a] # null :: Info a -> Bool # length :: Info a -> Int # elem :: Eq a => a -> Info a -> Bool # maximum :: Ord a => Info a -> a # minimum :: Ord a => Info a -> a # sum :: Num a => Info a -> a # product :: Num a => Info a -> a #
Traversable Info Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> Info a -> f (Info b) # sequenceA :: Applicative f => Info (f a) -> f (Info a) # mapM :: Monad m => (a -> m b) -> Info a -> m (Info b) # sequence :: Monad m => Info (m a) -> m (Info a) #
Annot Info Source #
Instance details Defined in Language.Futhark.Pretty Methods unAnnot :: Info a -> Maybe a Source #
Substitutable Pattern Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> Pattern -> Pattern Source #
Show vn => Showable Info vn Source #
Instance details Defined in Language.Futhark.Syntax
Eq a => Eq (Info a) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Info a -> Info a -> Bool # (/=) :: Info a -> Info a -> Bool #
Ord a => Ord (Info a) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: Info a -> Info a -> Ordering # (<) :: Info a -> Info a -> Bool # (<=) :: Info a -> Info a -> Bool # (>) :: Info a -> Info a -> Bool # (>=) :: Info a -> Info a -> Bool # max :: Info a -> Info a -> Info a # min :: Info a -> Info a -> Info a #
Show a => Show (Info a) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Info a -> ShowS # show :: Info a -> String # showList :: [Info a] -> ShowS #
ASTMappable a => ASTMappable (Info a) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> Info a -> m (Info a) Source #
ASTMappable (PatternBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> PatternBase Info VName -> m (PatternBase Info VName) Source #
ASTMappable (LoopFormBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName) Source #
ASTMappable (CaseBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName) Source #
ASTMappable (FieldBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName) Source #
ASTMappable (ExpBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName) Source #
ASTMappable (DimIndexBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName) Source #
ASTMappable (IdentBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName) Source #
ASTMappable (TypeDeclBase Info VName) Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> TypeDeclBase Info VName -> m (TypeDeclBase Info VName) Source #

data Alias Source #

A variable that is aliased. Can be still in-scope, or have gone out of scope and be free. In the latter case, it behaves more like an equivalence class. See uniqueness-error18.fut for an example of why this is necessary.

Constructors

AliasBound
Fields aliasVar :: VName
AliasFree
Fields aliasVar :: VName

Instances

Instances details

Eq Alias Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: Alias -> Alias -> Bool # (/=) :: Alias -> Alias -> Bool #
Ord Alias Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: Alias -> Alias -> Ordering # (<) :: Alias -> Alias -> Bool # (<=) :: Alias -> Alias -> Bool # (>) :: Alias -> Alias -> Bool # (>=) :: Alias -> Alias -> Bool # max :: Alias -> Alias -> Alias # min :: Alias -> Alias -> Alias #
Show Alias Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> Alias -> ShowS # show :: Alias -> String # showList :: [Alias] -> ShowS #
ASTMappable PatternType Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> PatternType -> m PatternType Source #
ASTMappable Aliasing Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> Aliasing -> m Aliasing Source #
ASTMappable Alias Source #
Instance details Defined in Language.Futhark.Traversals Methods astMap :: Monad m => ASTMapper m -> Alias -> m Alias Source #
Substitutable (TypeBase (DimDecl VName) Aliasing) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

type Aliasing = Set Alias Source #

Aliasing for a type, which is a set of the variables that are aliased.

data QualName vn Source #

A name qualified with a breadcrumb of module accesses.

Constructors

QualName
Fields qualQuals :: ![vn] qualLeaf :: !vn

Instances

Instances details

Functor QualName Source #
Instance details Defined in Language.Futhark.Syntax Methods fmap :: (a -> b) -> QualName a -> QualName b # (<$) :: a -> QualName b -> QualName a #
Foldable QualName Source #
Instance details Defined in Language.Futhark.Syntax Methods fold :: Monoid m => QualName m -> m # foldMap :: Monoid m => (a -> m) -> QualName a -> m # foldMap' :: Monoid m => (a -> m) -> QualName a -> m # foldr :: (a -> b -> b) -> b -> QualName a -> b # foldr' :: (a -> b -> b) -> b -> QualName a -> b # foldl :: (b -> a -> b) -> b -> QualName a -> b # foldl' :: (b -> a -> b) -> b -> QualName a -> b # foldr1 :: (a -> a -> a) -> QualName a -> a # foldl1 :: (a -> a -> a) -> QualName a -> a # toList :: QualName a -> [a] # null :: QualName a -> Bool # length :: QualName a -> Int # elem :: Eq a => a -> QualName a -> Bool # maximum :: Ord a => QualName a -> a # minimum :: Ord a => QualName a -> a # sum :: Num a => QualName a -> a # product :: Num a => QualName a -> a #
Traversable QualName Source #
Instance details Defined in Language.Futhark.Syntax Methods traverse :: Applicative f => (a -> f b) -> QualName a -> f (QualName b) # sequenceA :: Applicative f => QualName (f a) -> f (QualName a) # mapM :: Monad m => (a -> m b) -> QualName a -> m (QualName b) # sequence :: Monad m => QualName (m a) -> m (QualName a) #
Eq (QualName VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: QualName VName -> QualName VName -> Bool # (/=) :: QualName VName -> QualName VName -> Bool #
Eq (QualName Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods (==) :: QualName Name -> QualName Name -> Bool # (/=) :: QualName Name -> QualName Name -> Bool #
Ord (QualName VName) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: QualName VName -> QualName VName -> Ordering # (<) :: QualName VName -> QualName VName -> Bool # (<=) :: QualName VName -> QualName VName -> Bool # (>) :: QualName VName -> QualName VName -> Bool # (>=) :: QualName VName -> QualName VName -> Bool # max :: QualName VName -> QualName VName -> QualName VName # min :: QualName VName -> QualName VName -> QualName VName #
Ord (QualName Name) Source #
Instance details Defined in Language.Futhark.Syntax Methods compare :: QualName Name -> QualName Name -> Ordering # (<) :: QualName Name -> QualName Name -> Bool # (<=) :: QualName Name -> QualName Name -> Bool # (>) :: QualName Name -> QualName Name -> Bool # (>=) :: QualName Name -> QualName Name -> Bool # max :: QualName Name -> QualName Name -> QualName Name # min :: QualName Name -> QualName Name -> QualName Name #
Show vn => Show (QualName vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods showsPrec :: Int -> QualName vn -> ShowS # show :: QualName vn -> String # showList :: [QualName vn] -> ShowS #
IsName vn => Pretty (QualName vn) Source #
Instance details Defined in Language.Futhark.Pretty Methods ppr :: QualName vn -> Doc # pprPrec :: Int -> QualName vn -> Doc # pprList :: [QualName vn] -> Doc #