Language.Futhark.Syntax

The Futhark source language AST definition. Many types, such as ExpBase, are parametrised by type and name representation. E.g. in a value of type ExpBase f vn, annotations are wrapped in the functor f, and all names are of type vn. See https://futhark.readthedocs.org for a language reference, or this module may be a little hard to understand.

The system of primitive types is interesting in itself. See Language.Futhark.Primitive.

Documentation

module Language.Futhark.Core

prettyString :: Pretty a => a -> String

Prettyprint a value to a String, appropriately wrapped.

prettyText :: Pretty a => a -> Text

Prettyprint a value to a Text, appropriately wrapped.

Types

data Uniqueness

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

Monoid Uniqueness

Defined in Language.Futhark.Core

Methods

mempty :: Uniqueness

mappend :: Uniqueness -> Uniqueness -> Uniqueness

mconcat :: [Uniqueness] -> Uniqueness

Semigroup Uniqueness

Defined in Language.Futhark.Core

Methods

(<>) :: Uniqueness -> Uniqueness -> Uniqueness

sconcat :: NonEmpty Uniqueness -> Uniqueness

stimes :: Integral b => b -> Uniqueness -> Uniqueness

Show Uniqueness

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> Uniqueness -> ShowS

show :: Uniqueness -> String

showList :: [Uniqueness] -> ShowS

DeclExtTyped DeclExtType

Defined in Futhark.IR.Prop.Types

Methods

declExtTypeOf :: DeclExtType -> DeclExtType

DeclTyped DeclType

Defined in Futhark.IR.Prop.Types

Methods

declTypeOf :: DeclType -> DeclType

Typed DeclType

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: DeclType -> Type

IsRetType FunReturns

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns

applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns]

IsRetType DeclExtType

Defined in Futhark.IR.RetType

Methods

primRetType :: PrimType -> DeclExtType

applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType]

Eq Uniqueness

Defined in Language.Futhark.Core

Methods

(==) :: Uniqueness -> Uniqueness -> Bool

(/=) :: Uniqueness -> Uniqueness -> Bool

Ord Uniqueness

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

Pretty Uniqueness

Defined in Language.Futhark.Core

Methods

pretty :: Uniqueness -> Doc ann

prettyList :: [Uniqueness] -> Doc ann

Simplifiable [FunReturns]

Defined in Futhark.IR.Mem

Methods

simplify :: forall {k} (rep :: k). SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns]

FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType

DeclTyped (MemInfo SubExp Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType

Typed (MemInfo SubExp Uniqueness ret)

Defined in Futhark.IR.Mem

Methods

typeOf :: MemInfo SubExp Uniqueness ret -> Type

data IntType

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

Bounded IntType

Defined in Language.Futhark.Primitive

Methods

minBound :: IntType

maxBound :: IntType

Enum IntType

Defined in Language.Futhark.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]

Show IntType

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntType -> ShowS

show :: IntType -> String

showList :: [IntType] -> ShowS

Eq IntType

Defined in Language.Futhark.Primitive

Methods

(==) :: IntType -> IntType -> Bool

(/=) :: IntType -> IntType -> Bool

Ord IntType

Defined in Language.Futhark.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

Pretty IntType

Defined in Language.Futhark.Primitive

Methods

pretty :: IntType -> Doc ann

prettyList :: [IntType] -> Doc ann

data FloatType

A floating point type.

Constructors

Float16

Float32

Float64

Instances

Bounded FloatType

Defined in Language.Futhark.Primitive

Methods

minBound :: FloatType

maxBound :: FloatType

Enum FloatType

Defined in Language.Futhark.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]

Show FloatType

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatType -> ShowS

show :: FloatType -> String

showList :: [FloatType] -> ShowS

Eq FloatType

Defined in Language.Futhark.Primitive

Methods

(==) :: FloatType -> FloatType -> Bool

(/=) :: FloatType -> FloatType -> Bool

Ord FloatType

Defined in Language.Futhark.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

Pretty FloatType

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatType -> Doc ann

prettyList :: [FloatType] -> Doc ann

data PrimType

Low-level primitive types.

Constructors

Signed IntType

Unsigned IntType

FloatType FloatType

Bool

Instances

Show PrimType

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimType -> ShowS

show :: PrimType -> String

showList :: [PrimType] -> ShowS

Eq PrimType

Defined in Language.Futhark.Syntax

Methods

(==) :: PrimType -> PrimType -> Bool

(/=) :: PrimType -> PrimType -> Bool

Ord PrimType

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

Pretty PrimType

Defined in Language.Futhark.Syntax

Methods

pretty :: PrimType -> Doc ann

prettyList :: [PrimType] -> Doc ann

data Size

The elaborated size of a dimension.

Constructors

NamedSize (QualName VName)

The size of the dimension is this name, which must be in scope. In a return type, this will give rise to an assertion.

ConstSize Int

The size is a constant.

AnySize (Maybe VName)

No known size. If Nothing, then this is a name distinct from any other. The type checker should _never_ produce these - they are a (hopefully temporary) thing introduced by defunctorisation and monomorphisation.

Instances

Show Size

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

ASTMappable PatRetType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatRetType -> m PatRetType

ASTMappable PatType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatType -> m PatType

ASTMappable Size

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Size -> m Size

ASTMappable StructRetType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructRetType -> m StructRetType

ASTMappable StructType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType

Substitutable Size

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Size -> Size

Eq Size

Defined in Language.Futhark.Syntax

Methods

(==) :: Size -> Size -> Bool

(/=) :: Size -> Size -> Bool

Ord Size

Defined in Language.Futhark.Syntax

Methods

compare :: Size -> Size -> Ordering

(<) :: Size -> Size -> Bool

(<=) :: Size -> Size -> Bool

(>) :: Size -> Size -> Bool

(>=) :: Size -> Size -> Bool

max :: Size -> Size -> Size

min :: Size -> Size -> Size

Pretty Size

Defined in Language.Futhark.Pretty

Methods

pretty :: Size -> Doc ann

prettyList :: [Size] -> Doc ann

Pretty (Shape Size)

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann

prettyList :: [Shape Size] -> Doc ann

Substitutable (RetTypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Aliasing -> RetTypeBase Size Aliasing

Substitutable (RetTypeBase Size ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size () -> RetTypeBase Size ()

Substitutable (TypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Aliasing -> TypeBase Size Aliasing

Substitutable (TypeBase Size ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size () -> TypeBase Size ()

newtype Shape dim

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

Constructors

Shape

Fields

• shapeDims :: [dim]

Instances

Foldable Shape

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => Shape m -> m

foldMap :: Monoid m => (a -> m) -> Shape a -> m

foldMap' :: Monoid m => (a -> m) -> Shape a -> m

foldr :: (a -> b -> b) -> b -> Shape a -> b

foldr' :: (a -> b -> b) -> b -> Shape a -> b

foldl :: (b -> a -> b) -> b -> Shape a -> b

foldl' :: (b -> a -> b) -> b -> Shape a -> b

foldr1 :: (a -> a -> a) -> Shape a -> a

foldl1 :: (a -> a -> a) -> Shape a -> a

toList :: Shape a -> [a]

null :: Shape a -> Bool

length :: Shape a -> Int

elem :: Eq a => a -> Shape a -> Bool

maximum :: Ord a => Shape a -> a

minimum :: Ord a => Shape a -> a

sum :: Num a => Shape a -> a

product :: Num a => Shape a -> a

Traversable Shape

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> Shape a -> f (Shape b)

sequenceA :: Applicative f => Shape (f a) -> f (Shape a)

mapM :: Monad m => (a -> m b) -> Shape a -> m (Shape b)

sequence :: Monad m => Shape (m a) -> m (Shape a)

Functor Shape

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> Shape a -> Shape b

(<$) :: a -> Shape b -> Shape a

Monoid (Shape dim)

Defined in Language.Futhark.Syntax

Methods

mempty :: Shape dim

mappend :: Shape dim -> Shape dim -> Shape dim

mconcat :: [Shape dim] -> Shape dim

Semigroup (Shape dim)

Defined in Language.Futhark.Syntax

Methods

(<>) :: Shape dim -> Shape dim -> Shape dim

sconcat :: NonEmpty (Shape dim) -> Shape dim

stimes :: Integral b => b -> Shape dim -> Shape dim

Show dim => Show (Shape dim)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Shape dim -> ShowS

show :: Shape dim -> String

showList :: [Shape dim] -> ShowS

Substitutable d => Substitutable (Shape d)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Shape d -> Shape d

Eq dim => Eq (Shape dim)

Defined in Language.Futhark.Syntax

Methods

(==) :: Shape dim -> Shape dim -> Bool

(/=) :: Shape dim -> Shape dim -> Bool

Ord dim => Ord (Shape dim)

Defined in Language.Futhark.Syntax

Methods

compare :: Shape dim -> Shape dim -> Ordering

(<) :: Shape dim -> Shape dim -> Bool

(<=) :: Shape dim -> Shape dim -> Bool

(>) :: Shape dim -> Shape dim -> Bool

(>=) :: Shape dim -> Shape dim -> Bool

max :: Shape dim -> Shape dim -> Shape dim

min :: Shape dim -> Shape dim -> Shape dim

Pretty (Shape Int64)

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Int64 -> Doc ann

prettyList :: [Shape Int64] -> Doc ann

Pretty (Shape Size)

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann

prettyList :: [Shape Size] -> Doc ann

Pretty (Shape ())

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape () -> Doc ann

prettyList :: [Shape ()] -> Doc ann

Pretty (Shape Bool)

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Bool -> Doc ann

prettyList :: [Shape Bool] -> Doc ann

shapeRank :: Shape dim -> Int

The number of dimensions contained in a shape.

stripDims :: Int -> Shape dim -> Maybe (Shape dim)

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

data TypeBase dim as

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 (Shape dim) (ScalarTypeBase dim ())

Instances

Bifoldable TypeBase

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

Bifunctor TypeBase

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

Defined in Language.Futhark.Syntax

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TypeBase a b -> f (TypeBase c d)

ASTMappable PatType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatType -> m PatType

ASTMappable StructType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType

(Show as, Show dim) => Show (TypeBase dim as)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBase dim as -> ShowS

show :: TypeBase dim as -> String

showList :: [TypeBase dim as] -> ShowS

Substitutable (TypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Aliasing -> TypeBase Size Aliasing

Substitutable (TypeBase Size ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size () -> TypeBase Size ()

(Eq as, Eq dim) => Eq (TypeBase dim as)

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)

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

Pretty (Shape dim) => Pretty (TypeBase dim as)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBase dim as -> Doc ann

prettyList :: [TypeBase dim as] -> Doc ann

data TypeArg dim

An argument passed to a type constructor.

Constructors

TypeArgDim dim SrcLoc

TypeArgType (TypeBase dim ()) SrcLoc

Instances

Foldable TypeArg

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

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)

Functor TypeArg

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeArg a -> TypeArg b

(<$) :: a -> TypeArg b -> TypeArg a

Show dim => Show (TypeArg dim)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArg dim -> ShowS

show :: TypeArg dim -> String

showList :: [TypeArg dim] -> ShowS

Eq dim => Eq (TypeArg dim)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArg dim -> TypeArg dim -> Bool

(/=) :: TypeArg dim -> TypeArg dim -> Bool

Ord dim => Ord (TypeArg dim)

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

Pretty (Shape dim) => Pretty (TypeArg dim)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg dim -> Doc ann

prettyList :: [TypeArg dim] -> Doc ann

data SizeExp vn

A size expression for use in a TypeExp.

Constructors

SizeExpNamed (QualName vn) SrcLoc

The size of the dimension is this name, which must be in scope.

SizeExpConst Int SrcLoc

The size is a constant.

SizeExpAny

No dimension declaration.

Instances

Show vn => Show (SizeExp vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeExp vn -> ShowS

show :: SizeExp vn -> String

showList :: [SizeExp vn] -> ShowS

ASTMappable (SizeExp VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> SizeExp VName -> m (SizeExp VName)

Eq (SizeExp Name)

Defined in Language.Futhark.Syntax

Methods

(==) :: SizeExp Name -> SizeExp Name -> Bool

(/=) :: SizeExp Name -> SizeExp Name -> Bool

Eq (SizeExp VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: SizeExp VName -> SizeExp VName -> Bool

(/=) :: SizeExp VName -> SizeExp VName -> Bool

Ord (SizeExp Name)

Defined in Language.Futhark.Syntax

Methods

compare :: SizeExp Name -> SizeExp Name -> Ordering

(<) :: SizeExp Name -> SizeExp Name -> Bool

(<=) :: SizeExp Name -> SizeExp Name -> Bool

(>) :: SizeExp Name -> SizeExp Name -> Bool

(>=) :: SizeExp Name -> SizeExp Name -> Bool

max :: SizeExp Name -> SizeExp Name -> SizeExp Name

min :: SizeExp Name -> SizeExp Name -> SizeExp Name

Ord (SizeExp VName)

Defined in Language.Futhark.Syntax

Methods

compare :: SizeExp VName -> SizeExp VName -> Ordering

(<) :: SizeExp VName -> SizeExp VName -> Bool

(<=) :: SizeExp VName -> SizeExp VName -> Bool

(>) :: SizeExp VName -> SizeExp VName -> Bool

(>=) :: SizeExp VName -> SizeExp VName -> Bool

max :: SizeExp VName -> SizeExp VName -> SizeExp VName

min :: SizeExp VName -> SizeExp VName -> SizeExp VName

IsName vn => Pretty (SizeExp vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeExp vn -> Doc ann

prettyList :: [SizeExp vn] -> Doc ann

data TypeExp vn

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 (SizeExp vn) (TypeExp 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

TEDim [vn] (TypeExp vn) SrcLoc

Instances

Show vn => Show (TypeExp vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeExp vn -> ShowS

show :: TypeExp vn -> String

showList :: [TypeExp vn] -> ShowS

ASTMappable (TypeExp VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeExp VName -> m (TypeExp VName)

Eq (TypeExp Name)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp Name -> TypeExp Name -> Bool

(/=) :: TypeExp Name -> TypeExp Name -> Bool

Eq (TypeExp VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp VName -> TypeExp VName -> Bool

(/=) :: TypeExp VName -> TypeExp VName -> Bool

Ord (TypeExp Name)

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

Ord (TypeExp VName)

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

(Eq vn, IsName vn) => Pretty (TypeExp vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeExp vn -> Doc ann

prettyList :: [TypeExp vn] -> Doc ann

Located (TypeExp vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeExp vn -> Loc

locOfList :: [TypeExp vn] -> Loc

data TypeArgExp vn

A type argument expression passed to a type constructor.

Constructors

TypeArgExpDim (SizeExp vn) SrcLoc

TypeArgExpType (TypeExp vn)

Instances

Show vn => Show (TypeArgExp vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArgExp vn -> ShowS

show :: TypeArgExp vn -> String

showList :: [TypeArgExp vn] -> ShowS

ASTMappable (TypeArgExp VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeArgExp VName -> m (TypeArgExp VName)

Eq (TypeArgExp Name)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp Name -> TypeArgExp Name -> Bool

(/=) :: TypeArgExp Name -> TypeArgExp Name -> Bool

Eq (TypeArgExp VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp VName -> TypeArgExp VName -> Bool

(/=) :: TypeArgExp VName -> TypeArgExp VName -> Bool

Ord (TypeArgExp Name)

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

Ord (TypeArgExp VName)

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

(Eq vn, IsName vn) => Pretty (TypeArgExp vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArgExp vn -> Doc ann

prettyList :: [TypeArgExp vn] -> Doc ann

Located (TypeArgExp vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeArgExp vn -> Loc

locOfList :: [TypeArgExp vn] -> Loc

data PName

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

Show PName

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PName -> ShowS

show :: PName -> String

showList :: [PName] -> ShowS

Eq PName

Defined in Language.Futhark.Syntax

Methods

(==) :: PName -> PName -> Bool

(/=) :: PName -> PName -> Bool

Ord PName

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

data ScalarTypeBase dim as

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 (QualName VName) [TypeArg dim]

Record (Map Name (TypeBase dim as))

Sum (Map Name [TypeBase dim as])

Arrow as PName (TypeBase dim ()) (RetTypeBase dim as)

The aliasing corresponds to the lexical closure of the function.

Instances

Bifoldable ScalarTypeBase

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

Bifunctor ScalarTypeBase

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

Defined in Language.Futhark.Syntax

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ScalarTypeBase a b -> f (ScalarTypeBase c d)

(Show as, Show dim) => Show (ScalarTypeBase dim as)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ScalarTypeBase dim as -> ShowS

show :: ScalarTypeBase dim as -> String

showList :: [ScalarTypeBase dim as] -> ShowS

(Eq as, Eq dim) => Eq (ScalarTypeBase dim as)

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)

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

Pretty (Shape dim) => Pretty (ScalarTypeBase dim as)

Defined in Language.Futhark.Pretty

Methods

pretty :: ScalarTypeBase dim as -> Doc ann

prettyList :: [ScalarTypeBase dim as] -> Doc ann

data RetTypeBase dim as

Types that can appear to the right of a function arrow. This just means they can be existentially quantified.

Constructors

RetType

Fields

• retDims :: [VName]
• retType :: TypeBase dim as

Instances

Bifoldable RetTypeBase

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => RetTypeBase m m -> m

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> RetTypeBase a b -> m

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> RetTypeBase a b -> c

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> RetTypeBase a b -> c

Bifunctor RetTypeBase

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> RetTypeBase a c -> RetTypeBase b d

first :: (a -> b) -> RetTypeBase a c -> RetTypeBase b c

second :: (b -> c) -> RetTypeBase a b -> RetTypeBase a c

Bitraversable RetTypeBase

Defined in Language.Futhark.Syntax

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> RetTypeBase a b -> f (RetTypeBase c d)

ASTMappable PatRetType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatRetType -> m PatRetType

ASTMappable StructRetType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructRetType -> m StructRetType

(Show as, Show dim) => Show (RetTypeBase dim as)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> RetTypeBase dim as -> ShowS

show :: RetTypeBase dim as -> String

showList :: [RetTypeBase dim as] -> ShowS

Substitutable (RetTypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Aliasing -> RetTypeBase Size Aliasing

Substitutable (RetTypeBase Size ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size () -> RetTypeBase Size ()

(Eq as, Eq dim) => Eq (RetTypeBase dim as)

Defined in Language.Futhark.Syntax

Methods

(==) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

(/=) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

(Ord as, Ord dim) => Ord (RetTypeBase dim as)

Defined in Language.Futhark.Syntax

Methods

compare :: RetTypeBase dim as -> RetTypeBase dim as -> Ordering

(<) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

(<=) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

(>) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

(>=) :: RetTypeBase dim as -> RetTypeBase dim as -> Bool

max :: RetTypeBase dim as -> RetTypeBase dim as -> RetTypeBase dim as

min :: RetTypeBase dim as -> RetTypeBase dim as -> RetTypeBase dim as

Pretty (Shape dim) => Pretty (RetTypeBase dim as)

Defined in Language.Futhark.Pretty

Methods

pretty :: RetTypeBase dim as -> Doc ann

prettyList :: [RetTypeBase dim as] -> Doc ann

type PatType = TypeBase Size Aliasing

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

type StructType = TypeBase Size ()

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

type StructRetType = RetTypeBase Size ()

The return type version of StructType.

type PatRetType = RetTypeBase Size Aliasing

The return type version of PatType.

type ValueType = TypeBase Int64 ()

A value type contains full, manifest size information.

data Diet

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

Constructors

RecordDiet (Map Name Diet)

Consumes these fields in the record.

SumDiet (Map Name [Diet])

Consume these parts of the constructors.

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

Show Diet

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Diet -> ShowS

show :: Diet -> String

showList :: [Diet] -> ShowS

Eq Diet

Defined in Language.Futhark.Syntax

Methods

(==) :: Diet -> Diet -> Bool

(/=) :: Diet -> Diet -> Bool

Ord Diet

Defined in Language.Futhark.Syntax

Methods

compare :: Diet -> Diet -> Ordering

(<) :: Diet -> Diet -> Bool

(<=) :: Diet -> Diet -> Bool

(>) :: Diet -> Diet -> Bool

(>=) :: Diet -> Diet -> Bool

max :: Diet -> Diet -> Diet

min :: Diet -> Diet -> Diet

Values

data IntValue

An integer value.

Constructors

Int8Value !Int8

Int16Value !Int16

Int32Value !Int32

Int64Value !Int64

Instances

Show IntValue

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntValue -> ShowS

show :: IntValue -> String

showList :: [IntValue] -> ShowS

IsValue IntValue

Defined in Futhark.IR.Prop.Constants

Methods

value :: IntValue -> PrimValue

Eq IntValue

Defined in Language.Futhark.Primitive

Methods

(==) :: IntValue -> IntValue -> Bool

(/=) :: IntValue -> IntValue -> Bool

Ord IntValue

Defined in Language.Futhark.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

ToExp IntValue

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: IntValue -> SrcLoc -> Exp

Pretty IntValue

Defined in Language.Futhark.Primitive

Methods

pretty :: IntValue -> Doc ann

prettyList :: [IntValue] -> Doc ann

data FloatValue

A floating-point value.

Constructors

Float16Value !Half

Float32Value !Float

Float64Value !Double

Instances

Show FloatValue

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatValue -> ShowS

show :: FloatValue -> String

showList :: [FloatValue] -> ShowS

IsValue FloatValue

Defined in Futhark.IR.Prop.Constants

Methods

value :: FloatValue -> PrimValue

Eq FloatValue

Defined in Language.Futhark.Primitive

Methods

(==) :: FloatValue -> FloatValue -> Bool

(/=) :: FloatValue -> FloatValue -> Bool

Ord FloatValue

Defined in Language.Futhark.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

ToExp FloatValue

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: FloatValue -> SrcLoc -> Exp

Pretty FloatValue

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatValue -> Doc ann

prettyList :: [FloatValue] -> Doc ann

data PrimValue

Non-array values.

Constructors

SignedValue !IntValue

UnsignedValue !IntValue

FloatValue !FloatValue

BoolValue !Bool

Instances

Show PrimValue

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimValue -> ShowS

show :: PrimValue -> String

showList :: [PrimValue] -> ShowS

Eq PrimValue

Defined in Language.Futhark.Syntax

Methods

(==) :: PrimValue -> PrimValue -> Bool

(/=) :: PrimValue -> PrimValue -> Bool

Ord PrimValue

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

Pretty PrimValue

Defined in Language.Futhark.Pretty

Methods

pretty :: PrimValue -> Doc ann

prettyList :: [PrimValue] -> Doc ann

class IsPrimValue v where

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

Methods

primValue :: v -> PrimValue

Instances

IsPrimValue Int16

Defined in Language.Futhark.Syntax

Methods

primValue :: Int16 -> PrimValue

IsPrimValue Int32

Defined in Language.Futhark.Syntax

Methods

primValue :: Int32 -> PrimValue

IsPrimValue Int64

Defined in Language.Futhark.Syntax

Methods

primValue :: Int64 -> PrimValue

IsPrimValue Int8

Defined in Language.Futhark.Syntax

Methods

primValue :: Int8 -> PrimValue

IsPrimValue Word16

Defined in Language.Futhark.Syntax

Methods

primValue :: Word16 -> PrimValue

IsPrimValue Word32

Defined in Language.Futhark.Syntax

Methods

primValue :: Word32 -> PrimValue

IsPrimValue Word64

Defined in Language.Futhark.Syntax

Methods

primValue :: Word64 -> PrimValue

IsPrimValue Word8

Defined in Language.Futhark.Syntax

Methods

primValue :: Word8 -> PrimValue

IsPrimValue Bool

Defined in Language.Futhark.Syntax

Methods

primValue :: Bool -> PrimValue

IsPrimValue Double

Defined in Language.Futhark.Syntax

Methods

primValue :: Double -> PrimValue

IsPrimValue Float

Defined in Language.Futhark.Syntax

Methods

primValue :: Float -> PrimValue

IsPrimValue Int

Defined in Language.Futhark.Syntax

Methods

primValue :: Int -> PrimValue

Abstract syntax tree

data AttrInfo vn

The payload of an attribute.

Constructors

AttrAtom (AttrAtom vn) SrcLoc

AttrComp Name [AttrInfo vn] SrcLoc

Instances

Show (AttrInfo vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AttrInfo vn -> ShowS

show :: AttrInfo vn -> String

showList :: [AttrInfo vn] -> ShowS

Eq (AttrInfo vn)

Defined in Language.Futhark.Syntax

Methods

(==) :: AttrInfo vn -> AttrInfo vn -> Bool

(/=) :: AttrInfo vn -> AttrInfo vn -> Bool

Ord (AttrInfo vn)

Defined in Language.Futhark.Syntax

Methods

compare :: AttrInfo vn -> AttrInfo vn -> Ordering

(<) :: AttrInfo vn -> AttrInfo vn -> Bool

(<=) :: AttrInfo vn -> AttrInfo vn -> Bool

(>) :: AttrInfo vn -> AttrInfo vn -> Bool

(>=) :: AttrInfo vn -> AttrInfo vn -> Bool

max :: AttrInfo vn -> AttrInfo vn -> AttrInfo vn

min :: AttrInfo vn -> AttrInfo vn -> AttrInfo vn

IsName vn => Pretty (AttrInfo vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrInfo vn -> Doc ann

prettyList :: [AttrInfo vn] -> Doc ann

data AttrAtom vn

The value of an AttrAtom.

Constructors

AtomName Name

AtomInt Integer

Instances

Show (AttrAtom vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AttrAtom vn -> ShowS

show :: AttrAtom vn -> String

showList :: [AttrAtom vn] -> ShowS

Eq (AttrAtom vn)

Defined in Language.Futhark.Syntax

Methods

(==) :: AttrAtom vn -> AttrAtom vn -> Bool

(/=) :: AttrAtom vn -> AttrAtom vn -> Bool

Ord (AttrAtom vn)

Defined in Language.Futhark.Syntax

Methods

compare :: AttrAtom vn -> AttrAtom vn -> Ordering

(<) :: AttrAtom vn -> AttrAtom vn -> Bool

(<=) :: AttrAtom vn -> AttrAtom vn -> Bool

(>) :: AttrAtom vn -> AttrAtom vn -> Bool

(>=) :: AttrAtom vn -> AttrAtom vn -> Bool

max :: AttrAtom vn -> AttrAtom vn -> AttrAtom vn

min :: AttrAtom vn -> AttrAtom vn -> AttrAtom vn

IsName vn => Pretty (AttrAtom vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrAtom vn -> Doc ann

prettyList :: [AttrAtom vn] -> Doc ann

data BinOp

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

Bounded BinOp

Defined in Language.Futhark.Syntax

Methods

minBound :: BinOp

maxBound :: BinOp

Enum BinOp

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]

Show BinOp

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

Eq BinOp

Defined in Language.Futhark.Syntax

Methods

(==) :: BinOp -> BinOp -> Bool

(/=) :: BinOp -> BinOp -> Bool

Ord BinOp

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

Pretty BinOp

Defined in Language.Futhark.Syntax

Methods

pretty :: BinOp -> Doc ann

prettyList :: [BinOp] -> Doc ann

data IdentBase f vn

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

Constructors

Ident

Fields

• identName :: vn
• identType :: f PatType
• identSrcLoc :: SrcLoc

Instances

Show (IdentBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase Info VName -> ShowS

show :: IdentBase Info VName -> String

showList :: [IdentBase Info VName] -> ShowS

Show vn => Show (IdentBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase NoInfo vn -> ShowS

show :: IdentBase NoInfo vn -> String

showList :: [IdentBase NoInfo vn] -> ShowS

ASTMappable (IdentBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName)

Eq vn => Eq (IdentBase ty vn)

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)

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

IsName vn => Pretty (IdentBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: IdentBase f vn -> Doc ann

prettyList :: [IdentBase f vn] -> Doc ann

Located (IdentBase ty vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: IdentBase ty vn -> Loc

locOfList :: [IdentBase ty vn] -> Loc

data Inclusiveness a

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

Foldable Inclusiveness

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

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)

Functor Inclusiveness

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> Inclusiveness a -> Inclusiveness b

(<$) :: a -> Inclusiveness b -> Inclusiveness a

Show a => Show (Inclusiveness a)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Inclusiveness a -> ShowS

show :: Inclusiveness a -> String

showList :: [Inclusiveness a] -> ShowS

Eq a => Eq (Inclusiveness a)

Defined in Language.Futhark.Syntax

Methods

(==) :: Inclusiveness a -> Inclusiveness a -> Bool

(/=) :: Inclusiveness a -> Inclusiveness a -> Bool

Ord a => Ord (Inclusiveness a)

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

Located a => Located (Inclusiveness a)

Defined in Language.Futhark.Syntax

Methods

locOf :: Inclusiveness a -> Loc

locOfList :: [Inclusiveness a] -> Loc

data DimIndexBase f vn

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

Show (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase Info VName -> ShowS

show :: DimIndexBase Info VName -> String

showList :: [DimIndexBase Info VName] -> ShowS

Show vn => Show (DimIndexBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase NoInfo vn -> ShowS

show :: DimIndexBase NoInfo vn -> String

showList :: [DimIndexBase NoInfo vn] -> ShowS

ASTMappable (DimIndexBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName)

Eq (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(/=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

Eq (DimIndexBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool

(/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool

Ord (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase Info VName -> DimIndexBase Info VName -> Ordering

(<) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(<=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(>) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(>=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

max :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName

min :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName

Ord (DimIndexBase (NoInfo :: Type -> Type) VName)

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

(Eq vn, IsName vn, Annot f) => Pretty (DimIndexBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: DimIndexBase f vn -> Doc ann

prettyList :: [DimIndexBase f vn] -> Doc ann

type SliceBase f vn = [DimIndexBase f vn]

A slicing of an array (potentially multiple dimensions).

data SizeBinder vn

A binding of a size in a pattern (essentially a size parameter in a let expression).

Constructors

SizeBinder

Fields

• sizeName :: !vn
• sizeLoc :: !SrcLoc

Instances

Show vn => Show (SizeBinder vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeBinder vn -> ShowS

show :: SizeBinder vn -> String

showList :: [SizeBinder vn] -> ShowS

ASTMappable (SizeBinder VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> SizeBinder VName -> m (SizeBinder VName)

Eq vn => Eq (SizeBinder vn)

Defined in Language.Futhark.Syntax

Methods

(==) :: SizeBinder vn -> SizeBinder vn -> Bool

(/=) :: SizeBinder vn -> SizeBinder vn -> Bool

Ord vn => Ord (SizeBinder vn)

Defined in Language.Futhark.Syntax

Methods

compare :: SizeBinder vn -> SizeBinder vn -> Ordering

(<) :: SizeBinder vn -> SizeBinder vn -> Bool

(<=) :: SizeBinder vn -> SizeBinder vn -> Bool

(>) :: SizeBinder vn -> SizeBinder vn -> Bool

(>=) :: SizeBinder vn -> SizeBinder vn -> Bool

max :: SizeBinder vn -> SizeBinder vn -> SizeBinder vn

min :: SizeBinder vn -> SizeBinder vn -> SizeBinder vn

IsName vn => Pretty (SizeBinder vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeBinder vn -> Doc ann

prettyList :: [SizeBinder vn] -> Doc ann

Located (SizeBinder vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeBinder vn -> Loc

locOfList :: [SizeBinder vn] -> Loc

data AppExpBase f vn

An "application expression" is a semantic (not syntactic) grouping of expressions that have "funcall-like" semantics, mostly meaning that they can return existential sizes. In our type theory, these are all thought to be bound to names (*Administrative Normal Form*), but as this is not practical in a real language, we instead use an annotation (AppRes) that stores the information we need, so we can pretend that an application expression was really bound to a name.

Constructors

Apply (ExpBase f vn) (ExpBase f vn) (f (Diet, Maybe VName)) SrcLoc

The Maybe VName is a possible existential size that is instantiated by this argument. May have duplicates across the program, but they will all produce the same value (the expressions will be identical).

Coerce (ExpBase f vn) (TypeExp vn) SrcLoc

Size coercion: e :> t.

Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) SrcLoc

LetPat [SizeBinder vn] (PatBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc

LetFun vn ([TypeParamBase vn], [PatBase f vn], Maybe (TypeExp vn), f StructRetType, ExpBase f vn) (ExpBase f vn) SrcLoc

If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc

DoLoop [VName] (PatBase f vn) (ExpBase f vn) (LoopFormBase f vn) (ExpBase f vn) SrcLoc

BinOp (QualName vn, SrcLoc) (f PatType) (ExpBase f vn, f (StructType, Maybe VName)) (ExpBase f vn, f (StructType, Maybe VName)) SrcLoc

LetWith (IdentBase f vn) (IdentBase f vn) (SliceBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc

Index (ExpBase f vn) (SliceBase f vn) SrcLoc

Match (ExpBase f vn) (NonEmpty (CaseBase f vn)) SrcLoc

A match expression.

Instances

Show (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase Info VName -> ShowS

show :: AppExpBase Info VName -> String

showList :: [AppExpBase Info VName] -> ShowS

Show vn => Show (AppExpBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase NoInfo vn -> ShowS

show :: AppExpBase NoInfo vn -> String

showList :: [AppExpBase NoInfo vn] -> ShowS

ASTMappable (AppExpBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppExpBase Info VName -> m (AppExpBase Info VName)

Eq (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(/=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

Eq (AppExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(/=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

Ord (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase Info VName -> AppExpBase Info VName -> Ordering

(<) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(<=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(>) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(>=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

max :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName

min :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName

Ord (AppExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Ordering

(<) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(<=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(>) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(>=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

max :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName

min :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName

(Eq vn, IsName vn, Annot f) => Pretty (AppExpBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: AppExpBase f vn -> Doc ann

prettyList :: [AppExpBase f vn] -> Doc ann

Located (AppExpBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: AppExpBase f vn -> Loc

locOfList :: [AppExpBase f vn] -> Loc

data AppRes

An annotation inserted by the type checker on constructs that are "function calls" (either literally or conceptually). This annotation encodes the result type, as well as any existential sizes that are generated here.

Constructors

AppRes

Fields

• appResType :: PatType
• appResExt :: [VName]

Instances

Show AppRes

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppRes -> ShowS

show :: AppRes -> String

showList :: [AppRes] -> ShowS

ASTMappable AppRes

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppRes -> m AppRes

Eq AppRes

Defined in Language.Futhark.Syntax

Methods

(==) :: AppRes -> AppRes -> Bool

(/=) :: AppRes -> AppRes -> Bool

Ord AppRes

Defined in Language.Futhark.Syntax

Methods

compare :: AppRes -> AppRes -> Ordering

(<) :: AppRes -> AppRes -> Bool

(<=) :: AppRes -> AppRes -> Bool

(>) :: AppRes -> AppRes -> Bool

(>=) :: AppRes -> AppRes -> Bool

max :: AppRes -> AppRes -> AppRes

min :: AppRes -> AppRes -> AppRes

data ExpBase f vn

The Futhark expression language.

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 PatType) SrcLoc

A polymorphic integral literal.

FloatLit Double (f PatType) SrcLoc

A polymorphic decimal literal.

StringLit [Word8] SrcLoc

A string literal is just a fancy syntax for an array of bytes.

Hole (f PatType) SrcLoc

Var (QualName vn) (f PatType) SrcLoc

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 PatType) SrcLoc

Array literals, e.g., [ [1+x, 3], [2, 1+4] ]. Second arg is the row type of the rows of the array.

Attr (AttrInfo vn) (ExpBase f vn) SrcLoc

An attribute applied to the following expression.

Project Name (ExpBase f vn) (f PatType) SrcLoc

Negate (ExpBase f vn) SrcLoc

Numeric negation (ugly special case; Haskell did it first).

Not (ExpBase f vn) SrcLoc

Logical and bitwise negation.

Assert (ExpBase f vn) (ExpBase f vn) (f Text) 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 PatType) SrcLoc

An n-ary value constructor.

Update (ExpBase f vn) (SliceBase f vn) (ExpBase f vn) SrcLoc

RecordUpdate (ExpBase f vn) [Name] (ExpBase f vn) (f PatType) SrcLoc

Lambda [PatBase f vn] (ExpBase f vn) (Maybe (TypeExp vn)) (f (Aliasing, StructRetType)) SrcLoc

OpSection (QualName vn) (f PatType) SrcLoc

+; first two types are operands, third is result.

OpSectionLeft (QualName vn) (f PatType) (ExpBase f vn) (f (PName, StructType, Maybe VName), f (PName, StructType)) (f PatRetType, f [VName]) SrcLoc

2+; first type is operand, second is result.

OpSectionRight (QualName vn) (f PatType) (ExpBase f vn) (f (PName, StructType), f (PName, StructType, Maybe VName)) (f PatRetType) SrcLoc

+2; first type is operand, second is result.

ProjectSection [Name] (f PatType) SrcLoc

Field projection as a section: (.x.y.z).

IndexSection (SliceBase f vn) (f PatType) SrcLoc

Array indexing as a section: (.[i,j]).

Ascript (ExpBase f vn) (TypeExp vn) SrcLoc

Type ascription: e : t.

AppExp (AppExpBase f vn) (f AppRes)

Instances

Show (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase Info VName -> ShowS

show :: ExpBase Info VName -> String

showList :: [ExpBase Info VName] -> ShowS

Show vn => Show (ExpBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase NoInfo vn -> ShowS

show :: ExpBase NoInfo vn -> String

showList :: [ExpBase NoInfo vn] -> ShowS

ASTMappable (ExpBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName)

Eq (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(/=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

Eq (ExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool

(/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool

Ord (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase Info VName -> ExpBase Info VName -> Ordering

(<) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(<=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(>) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(>=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

max :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName

min :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName

Ord (ExpBase (NoInfo :: Type -> Type) VName)

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

(Eq vn, IsName vn, Annot f) => Pretty (ExpBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ExpBase f vn -> Doc ann

prettyList :: [ExpBase f vn] -> Doc ann

Located (ExpBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: ExpBase f vn -> Loc

locOfList :: [ExpBase f vn] -> Loc

data FieldBase f vn

An entry in a record literal.

Constructors

RecordFieldExplicit Name (ExpBase f vn) SrcLoc

RecordFieldImplicit vn (f PatType) SrcLoc

Instances

Show (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase Info VName -> ShowS

show :: FieldBase Info VName -> String

showList :: [FieldBase Info VName] -> ShowS

Show vn => Show (FieldBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase NoInfo vn -> ShowS

show :: FieldBase NoInfo vn -> String

showList :: [FieldBase NoInfo vn] -> ShowS

ASTMappable (FieldBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName)

Eq (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(/=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

Eq (FieldBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool

(/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool

Ord (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase Info VName -> FieldBase Info VName -> Ordering

(<) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(<=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(>) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(>=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

max :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName

min :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName

Ord (FieldBase (NoInfo :: Type -> Type) VName)

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

(Eq vn, IsName vn, Annot f) => Pretty (FieldBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: FieldBase f vn -> Doc ann

prettyList :: [FieldBase f vn] -> Doc ann

Located (FieldBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: FieldBase f vn -> Loc

locOfList :: [FieldBase f vn] -> Loc

data CaseBase f vn

A case in a match expression.

Constructors

CasePat (PatBase f vn) (ExpBase f vn) SrcLoc

Instances

Show (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase Info VName -> ShowS

show :: CaseBase Info VName -> String

showList :: [CaseBase Info VName] -> ShowS

Show vn => Show (CaseBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase NoInfo vn -> ShowS

show :: CaseBase NoInfo vn -> String

showList :: [CaseBase NoInfo vn] -> ShowS

ASTMappable (CaseBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName)

Eq (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(/=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

Eq (CaseBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool

(/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool

Ord (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase Info VName -> CaseBase Info VName -> Ordering

(<) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(<=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(>) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(>=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

max :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName

min :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName

Ord (CaseBase (NoInfo :: Type -> Type) VName)

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

(Eq vn, IsName vn, Annot f) => Pretty (CaseBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: CaseBase f vn -> Doc ann

prettyList :: [CaseBase f vn] -> Doc ann

Located (CaseBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: CaseBase f vn -> Loc

locOfList :: [CaseBase f vn] -> Loc

data LoopFormBase f vn

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

Constructors

For (IdentBase f vn) (ExpBase f vn)

ForIn (PatBase f vn) (ExpBase f vn)

While (ExpBase f vn)

Instances

Show (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase Info VName -> ShowS

show :: LoopFormBase Info VName -> String

showList :: [LoopFormBase Info VName] -> ShowS

Show vn => Show (LoopFormBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase NoInfo vn -> ShowS

show :: LoopFormBase NoInfo vn -> String

showList :: [LoopFormBase NoInfo vn] -> ShowS

ASTMappable (LoopFormBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName)

Eq (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(/=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

Eq (LoopFormBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool

(/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool

Ord (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase Info VName -> LoopFormBase Info VName -> Ordering

(<) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(<=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(>) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(>=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

max :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName

min :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName

Ord (LoopFormBase (NoInfo :: Type -> Type) VName)

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

(Eq vn, IsName vn, Annot f) => Pretty (LoopFormBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: LoopFormBase f vn -> Doc ann

prettyList :: [LoopFormBase f vn] -> Doc ann

data PatLit

A literal in a pattern.

Constructors

PatLitInt Integer

PatLitFloat Double

PatLitPrim PrimValue

Instances

Show PatLit

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatLit -> ShowS

show :: PatLit -> String

showList :: [PatLit] -> ShowS

Eq PatLit

Defined in Language.Futhark.Syntax

Methods

(==) :: PatLit -> PatLit -> Bool

(/=) :: PatLit -> PatLit -> Bool

Ord PatLit

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

Pretty PatLit

Defined in Language.Futhark.Pretty

Methods

pretty :: PatLit -> Doc ann

prettyList :: [PatLit] -> Doc ann

data PatBase f vn

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

Constructors

TuplePat [PatBase f vn] SrcLoc

RecordPat [(Name, PatBase f vn)] SrcLoc

PatParens (PatBase f vn) SrcLoc

Id vn (f PatType) SrcLoc

Wildcard (f PatType) SrcLoc

PatAscription (PatBase f vn) (TypeExp vn) SrcLoc

PatLit PatLit (f PatType) SrcLoc

PatConstr Name (f PatType) [PatBase f vn] SrcLoc

PatAttr (AttrInfo vn) (PatBase f vn) SrcLoc

Instances

Substitutable Pat

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat -> Pat

Show (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase Info VName -> ShowS

show :: PatBase Info VName -> String

showList :: [PatBase Info VName] -> ShowS

Show vn => Show (PatBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase NoInfo vn -> ShowS

show :: PatBase NoInfo vn -> String

showList :: [PatBase NoInfo vn] -> ShowS

ASTMappable (PatBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatBase Info VName -> m (PatBase Info VName)

Eq (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase Info VName -> PatBase Info VName -> Bool

(/=) :: PatBase Info VName -> PatBase Info VName -> Bool

Eq (PatBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(/=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

Ord (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase Info VName -> PatBase Info VName -> Ordering

(<) :: PatBase Info VName -> PatBase Info VName -> Bool

(<=) :: PatBase Info VName -> PatBase Info VName -> Bool

(>) :: PatBase Info VName -> PatBase Info VName -> Bool

(>=) :: PatBase Info VName -> PatBase Info VName -> Bool

max :: PatBase Info VName -> PatBase Info VName -> PatBase Info VName

min :: PatBase Info VName -> PatBase Info VName -> PatBase Info VName

Ord (PatBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase NoInfo VName -> PatBase NoInfo VName -> Ordering

(<) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(<=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

max :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

min :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

(Eq vn, IsName vn, Annot f) => Pretty (PatBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: PatBase f vn -> Doc ann

prettyList :: [PatBase f vn] -> Doc ann

Located (PatBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: PatBase f vn -> Loc

locOfList :: [PatBase f vn] -> Loc

Module language

data SpecBase f vn

A spec is a component of a module type.

Constructors

ValSpec

Fields

• specName :: vn
• specTypeParams :: [TypeParamBase vn]
• specTypeExp :: TypeExp vn
• specType :: f StructType
• 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

Show (SpecBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase Info VName -> ShowS

show :: SpecBase Info VName -> String

showList :: [SpecBase Info VName] -> ShowS

Show (SpecBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase NoInfo Name -> ShowS

show :: SpecBase NoInfo Name -> String

showList :: [SpecBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (SpecBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: SpecBase f vn -> Doc ann

prettyList :: [SpecBase f vn] -> Doc ann

Located (SpecBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: SpecBase f vn -> Loc

locOfList :: [SpecBase f vn] -> Loc

data SigExpBase f vn

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 vn) SrcLoc

SigArrow (Maybe vn) (SigExpBase f vn) (SigExpBase f vn) SrcLoc

Instances

Show (SigExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase Info VName -> ShowS

show :: SigExpBase Info VName -> String

showList :: [SigExpBase Info VName] -> ShowS

Show (SigExpBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase NoInfo Name -> ShowS

show :: SigExpBase NoInfo Name -> String

showList :: [SigExpBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (SigExpBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: SigExpBase f vn -> Doc ann

prettyList :: [SigExpBase f vn] -> Doc ann

Located (SigExpBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: SigExpBase f vn -> Loc

locOfList :: [SigExpBase f vn] -> Loc

data TypeRefBase vn

A type refinement.

Constructors

TypeRef (QualName vn) [TypeParamBase vn] (TypeExp vn) SrcLoc

Instances

Show (TypeRefBase Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase Name -> ShowS

show :: TypeRefBase Name -> String

showList :: [TypeRefBase Name] -> ShowS

Show (TypeRefBase VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase VName -> ShowS

show :: TypeRefBase VName -> String

showList :: [TypeRefBase VName] -> ShowS

Located (TypeRefBase vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeRefBase vn -> Loc

locOfList :: [TypeRefBase vn] -> Loc

data SigBindBase f vn

Module type binding.

Constructors

SigBind

Fields

• sigName :: vn
• sigExp :: SigExpBase f vn
• sigDoc :: Maybe DocComment
• sigLoc :: SrcLoc

Instances

Show (SigBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase Info VName -> ShowS

show :: SigBindBase Info VName -> String

showList :: [SigBindBase Info VName] -> ShowS

Show (SigBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase NoInfo Name -> ShowS

show :: SigBindBase NoInfo Name -> String

showList :: [SigBindBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (SigBindBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: SigBindBase f vn -> Doc ann

prettyList :: [SigBindBase f vn] -> Doc ann

Located (SigBindBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: SigBindBase f vn -> Loc

locOfList :: [SigBindBase f vn] -> Loc

data ModExpBase f vn

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

Show (ModExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase Info VName -> ShowS

show :: ModExpBase Info VName -> String

showList :: [ModExpBase Info VName] -> ShowS

Show (ModExpBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase NoInfo Name -> ShowS

show :: ModExpBase NoInfo Name -> String

showList :: [ModExpBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (ModExpBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ModExpBase f vn -> Doc ann

prettyList :: [ModExpBase f vn] -> Doc ann

Located (ModExpBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: ModExpBase f vn -> Loc

locOfList :: [ModExpBase f vn] -> Loc

data ModBindBase f vn

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

Show (ModBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase Info VName -> ShowS

show :: ModBindBase Info VName -> String

showList :: [ModBindBase Info VName] -> ShowS

Show (ModBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase NoInfo Name -> ShowS

show :: ModBindBase NoInfo Name -> String

showList :: [ModBindBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (ModBindBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ModBindBase f vn -> Doc ann

prettyList :: [ModBindBase f vn] -> Doc ann

Located (ModBindBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: ModBindBase f vn -> Loc

locOfList :: [ModBindBase f vn] -> Loc

data ModParamBase f vn

A module parameter.

Constructors

ModParam

Fields

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

Instances

Show (ModParamBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase Info VName -> ShowS

show :: ModParamBase Info VName -> String

showList :: [ModParamBase Info VName] -> ShowS

Show (ModParamBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase NoInfo Name -> ShowS

show :: ModParamBase NoInfo Name -> String

showList :: [ModParamBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (ModParamBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ModParamBase f vn -> Doc ann

prettyList :: [ModParamBase f vn] -> Doc ann

Located (ModParamBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: ModParamBase f vn -> Loc

locOfList :: [ModParamBase f vn] -> Loc

Definitions

data DocComment

Documentation strings, including source location.

Constructors

DocComment String SrcLoc

Instances

Show DocComment

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DocComment -> ShowS

show :: DocComment -> String

showList :: [DocComment] -> ShowS

Located DocComment

Defined in Language.Futhark.Syntax

Methods

locOf :: DocComment -> Loc

locOfList :: [DocComment] -> Loc

data ValBindBase f vn

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 StructRetType

  If valBindParams is null, then the retDims are brought into scope at this point.

• valBindTypeParams :: [TypeParamBase vn]
• valBindParams :: [PatBase f vn]
• valBindBody :: ExpBase f vn
• valBindDoc :: Maybe DocComment
• valBindAttrs :: [AttrInfo vn]
• valBindLocation :: SrcLoc

Instances

Show (ValBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase Info VName -> ShowS

show :: ValBindBase Info VName -> String

showList :: [ValBindBase Info VName] -> ShowS

Show (ValBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase NoInfo Name -> ShowS

show :: ValBindBase NoInfo Name -> String

showList :: [ValBindBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (ValBindBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ValBindBase f vn -> Doc ann

prettyList :: [ValBindBase f vn] -> Doc ann

Located (ValBindBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: ValBindBase f vn -> Loc

locOfList :: [ValBindBase f vn] -> Loc

data EntryPoint

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 :: [EntryParam]
• entryReturn :: EntryType

Instances

Show EntryPoint

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryPoint -> ShowS

show :: EntryPoint -> String

showList :: [EntryPoint] -> ShowS

data EntryType

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

Show EntryType

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryType -> ShowS

show :: EntryType -> String

showList :: [EntryType] -> ShowS

data EntryParam

A parameter of an entry point.

Constructors

EntryParam

Fields

• entryParamName :: Name
• entryParamType :: EntryType

Instances

Show EntryParam

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryParam -> ShowS

show :: EntryParam -> String

showList :: [EntryParam] -> ShowS

data Liftedness

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

Show Liftedness

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Liftedness -> ShowS

show :: Liftedness -> String

showList :: [Liftedness] -> ShowS

Eq Liftedness

Defined in Language.Futhark.Syntax

Methods

(==) :: Liftedness -> Liftedness -> Bool

(/=) :: Liftedness -> Liftedness -> Bool

Ord Liftedness

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

Pretty Liftedness

Defined in Language.Futhark.Pretty

Methods

pretty :: Liftedness -> Doc ann

prettyList :: [Liftedness] -> Doc ann

data TypeBindBase f vn

Type Declarations

Constructors

TypeBind

Fields

• typeAlias :: vn
• typeLiftedness :: Liftedness
• typeParams :: [TypeParamBase vn]
• typeExp :: TypeExp vn
• typeElab :: f StructRetType
• typeDoc :: Maybe DocComment
• typeBindLocation :: SrcLoc

Instances

Show (TypeBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase Info VName -> ShowS

show :: TypeBindBase Info VName -> String

showList :: [TypeBindBase Info VName] -> ShowS

Show (TypeBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase NoInfo Name -> ShowS

show :: TypeBindBase NoInfo Name -> String

showList :: [TypeBindBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (TypeBindBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBindBase f vn -> Doc ann

prettyList :: [TypeBindBase f vn] -> Doc ann

Located (TypeBindBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeBindBase f vn -> Loc

locOfList :: [TypeBindBase f vn] -> Loc

data TypeParamBase vn

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

Foldable TypeParamBase

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

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)

Functor TypeParamBase

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeParamBase a -> TypeParamBase b

(<$) :: a -> TypeParamBase b -> TypeParamBase a

Show vn => Show (TypeParamBase vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeParamBase vn -> ShowS

show :: TypeParamBase vn -> String

showList :: [TypeParamBase vn] -> ShowS

ASTMappable (TypeParamBase VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeParamBase VName -> m (TypeParamBase VName)

Eq vn => Eq (TypeParamBase vn)

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeParamBase vn -> TypeParamBase vn -> Bool

(/=) :: TypeParamBase vn -> TypeParamBase vn -> Bool

Ord vn => Ord (TypeParamBase vn)

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

(Eq vn, IsName vn) => Pretty (TypeParamBase vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeParamBase vn -> Doc ann

prettyList :: [TypeParamBase vn] -> Doc ann

Located (TypeParamBase vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeParamBase vn -> Loc

locOfList :: [TypeParamBase vn] -> Loc

typeParamName :: TypeParamBase vn -> vn

The name of a type parameter.

data ProgBase f vn

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

Constructors

Prog

Fields

• progDoc :: Maybe DocComment
• progDecs :: [DecBase f vn]

Instances

Show (ProgBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase Info VName -> ShowS

show :: ProgBase Info VName -> String

showList :: [ProgBase Info VName] -> ShowS

Show (ProgBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase NoInfo Name -> ShowS

show :: ProgBase NoInfo Name -> String

showList :: [ProgBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (ProgBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: ProgBase f vn -> Doc ann

prettyList :: [ProgBase f vn] -> Doc ann

data DecBase f vn

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

Show (DecBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase Info VName -> ShowS

show :: DecBase Info VName -> String

showList :: [DecBase Info VName] -> ShowS

Show (DecBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase NoInfo Name -> ShowS

show :: DecBase NoInfo Name -> String

showList :: [DecBase NoInfo Name] -> ShowS

(Eq vn, IsName vn, Annot f) => Pretty (DecBase f vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: DecBase f vn -> Doc ann

prettyList :: [DecBase f vn] -> Doc ann

Located (DecBase f vn)

Defined in Language.Futhark.Syntax

Methods

locOf :: DecBase f vn -> Loc

locOfList :: [DecBase f vn] -> Loc

Miscellaneous

data NoInfo a

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

Constructors

NoInfo

Instances

Foldable (NoInfo :: TYPE LiftedRep -> Type)

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 :: Type -> Type)

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)

Functor (NoInfo :: Type -> Type)

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> NoInfo a -> NoInfo b

(<$) :: a -> NoInfo b -> NoInfo a

Annot (NoInfo :: Type -> Type)

Defined in Language.Futhark.Pretty

Methods

unAnnot :: NoInfo a -> Maybe a

Show vn => Show (AppExpBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase NoInfo vn -> ShowS

show :: AppExpBase NoInfo vn -> String

showList :: [AppExpBase NoInfo vn] -> ShowS

Show vn => Show (CaseBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase NoInfo vn -> ShowS

show :: CaseBase NoInfo vn -> String

showList :: [CaseBase NoInfo vn] -> ShowS

Show (DecBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase NoInfo Name -> ShowS

show :: DecBase NoInfo Name -> String

showList :: [DecBase NoInfo Name] -> ShowS

Show vn => Show (DimIndexBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase NoInfo vn -> ShowS

show :: DimIndexBase NoInfo vn -> String

showList :: [DimIndexBase NoInfo vn] -> ShowS

Show vn => Show (ExpBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase NoInfo vn -> ShowS

show :: ExpBase NoInfo vn -> String

showList :: [ExpBase NoInfo vn] -> ShowS

Show vn => Show (FieldBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase NoInfo vn -> ShowS

show :: FieldBase NoInfo vn -> String

showList :: [FieldBase NoInfo vn] -> ShowS

Show vn => Show (IdentBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase NoInfo vn -> ShowS

show :: IdentBase NoInfo vn -> String

showList :: [IdentBase NoInfo vn] -> ShowS

Show vn => Show (LoopFormBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase NoInfo vn -> ShowS

show :: LoopFormBase NoInfo vn -> String

showList :: [LoopFormBase NoInfo vn] -> ShowS

Show (ModBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase NoInfo Name -> ShowS

show :: ModBindBase NoInfo Name -> String

showList :: [ModBindBase NoInfo Name] -> ShowS

Show (ModExpBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase NoInfo Name -> ShowS

show :: ModExpBase NoInfo Name -> String

showList :: [ModExpBase NoInfo Name] -> ShowS

Show (ModParamBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase NoInfo Name -> ShowS

show :: ModParamBase NoInfo Name -> String

showList :: [ModParamBase NoInfo Name] -> ShowS

Show (NoInfo a)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> NoInfo a -> ShowS

show :: NoInfo a -> String

showList :: [NoInfo a] -> ShowS

Show vn => Show (PatBase (NoInfo :: Type -> Type) vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase NoInfo vn -> ShowS

show :: PatBase NoInfo vn -> String

showList :: [PatBase NoInfo vn] -> ShowS

Show (ProgBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase NoInfo Name -> ShowS

show :: ProgBase NoInfo Name -> String

showList :: [ProgBase NoInfo Name] -> ShowS

Show (SigBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase NoInfo Name -> ShowS

show :: SigBindBase NoInfo Name -> String

showList :: [SigBindBase NoInfo Name] -> ShowS

Show (SigExpBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase NoInfo Name -> ShowS

show :: SigExpBase NoInfo Name -> String

showList :: [SigExpBase NoInfo Name] -> ShowS

Show (SpecBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase NoInfo Name -> ShowS

show :: SpecBase NoInfo Name -> String

showList :: [SpecBase NoInfo Name] -> ShowS

Show (TypeBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase NoInfo Name -> ShowS

show :: TypeBindBase NoInfo Name -> String

showList :: [TypeBindBase NoInfo Name] -> ShowS

Show (ValBindBase (NoInfo :: Type -> Type) Name)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase NoInfo Name -> ShowS

show :: ValBindBase NoInfo Name -> String

showList :: [ValBindBase NoInfo Name] -> ShowS

Eq (AppExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(/=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

Eq (CaseBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool

(/=) :: CaseBase NoInfo VName -> CaseBase NoInfo VName -> Bool

Eq (DimIndexBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool

(/=) :: DimIndexBase NoInfo VName -> DimIndexBase NoInfo VName -> Bool

Eq (ExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool

(/=) :: ExpBase NoInfo VName -> ExpBase NoInfo VName -> Bool

Eq (FieldBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool

(/=) :: FieldBase NoInfo VName -> FieldBase NoInfo VName -> Bool

Eq (LoopFormBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool

(/=) :: LoopFormBase NoInfo VName -> LoopFormBase NoInfo VName -> Bool

Eq (NoInfo a)

Defined in Language.Futhark.Syntax

Methods

(==) :: NoInfo a -> NoInfo a -> Bool

(/=) :: NoInfo a -> NoInfo a -> Bool

Eq (PatBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(/=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

Ord (AppExpBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Ordering

(<) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(<=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(>) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

(>=) :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> Bool

max :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName

min :: AppExpBase NoInfo VName -> AppExpBase NoInfo VName -> AppExpBase NoInfo VName

Ord (CaseBase (NoInfo :: Type -> Type) VName)

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 (DimIndexBase (NoInfo :: Type -> Type) VName)

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 (ExpBase (NoInfo :: Type -> Type) VName)

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 (FieldBase (NoInfo :: Type -> Type) VName)

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 (LoopFormBase (NoInfo :: Type -> Type) VName)

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 (NoInfo a)

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

Ord (PatBase (NoInfo :: Type -> Type) VName)

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase NoInfo VName -> PatBase NoInfo VName -> Ordering

(<) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(<=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

(>=) :: PatBase NoInfo VName -> PatBase NoInfo VName -> Bool

max :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

min :: PatBase NoInfo VName -> PatBase NoInfo VName -> PatBase NoInfo VName

newtype Info a

Some information. The dual to NoInfo

Constructors

Info

Fields

• unInfo :: a

Instances

Foldable Info

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

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)

Functor Info

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> Info a -> Info b

(<$) :: a -> Info b -> Info a

Annot Info

Defined in Language.Futhark.Pretty

Methods

unAnnot :: Info a -> Maybe a

Substitutable Pat

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat -> Pat

Show a => Show (Info a)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Info a -> ShowS

show :: Info a -> String

showList :: [Info a] -> ShowS

ASTMappable a => ASTMappable (Info a)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Info a -> m (Info a)

Eq a => Eq (Info a)

Defined in Language.Futhark.Syntax

Methods

(==) :: Info a -> Info a -> Bool

(/=) :: Info a -> Info a -> Bool

Ord a => Ord (Info a)

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 (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase Info VName -> ShowS

show :: AppExpBase Info VName -> String

showList :: [AppExpBase Info VName] -> ShowS

Show (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase Info VName -> ShowS

show :: CaseBase Info VName -> String

showList :: [CaseBase Info VName] -> ShowS

Show (DecBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase Info VName -> ShowS

show :: DecBase Info VName -> String

showList :: [DecBase Info VName] -> ShowS

Show (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase Info VName -> ShowS

show :: DimIndexBase Info VName -> String

showList :: [DimIndexBase Info VName] -> ShowS

Show (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase Info VName -> ShowS

show :: ExpBase Info VName -> String

showList :: [ExpBase Info VName] -> ShowS

Show (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase Info VName -> ShowS

show :: FieldBase Info VName -> String

showList :: [FieldBase Info VName] -> ShowS

Show (IdentBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase Info VName -> ShowS

show :: IdentBase Info VName -> String

showList :: [IdentBase Info VName] -> ShowS

Show (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase Info VName -> ShowS

show :: LoopFormBase Info VName -> String

showList :: [LoopFormBase Info VName] -> ShowS

Show (ModBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase Info VName -> ShowS

show :: ModBindBase Info VName -> String

showList :: [ModBindBase Info VName] -> ShowS

Show (ModExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase Info VName -> ShowS

show :: ModExpBase Info VName -> String

showList :: [ModExpBase Info VName] -> ShowS

Show (ModParamBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase Info VName -> ShowS

show :: ModParamBase Info VName -> String

showList :: [ModParamBase Info VName] -> ShowS

Show (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase Info VName -> ShowS

show :: PatBase Info VName -> String

showList :: [PatBase Info VName] -> ShowS

Show (ProgBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase Info VName -> ShowS

show :: ProgBase Info VName -> String

showList :: [ProgBase Info VName] -> ShowS

Show (SigBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigBindBase Info VName -> ShowS

show :: SigBindBase Info VName -> String

showList :: [SigBindBase Info VName] -> ShowS

Show (SigExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SigExpBase Info VName -> ShowS

show :: SigExpBase Info VName -> String

showList :: [SigExpBase Info VName] -> ShowS

Show (SpecBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase Info VName -> ShowS

show :: SpecBase Info VName -> String

showList :: [SpecBase Info VName] -> ShowS

Show (TypeBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase Info VName -> ShowS

show :: TypeBindBase Info VName -> String

showList :: [TypeBindBase Info VName] -> ShowS

Show (ValBindBase Info VName)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase Info VName -> ShowS

show :: ValBindBase Info VName -> String

showList :: [ValBindBase Info VName] -> ShowS

ASTMappable (AppExpBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppExpBase Info VName -> m (AppExpBase Info VName)

ASTMappable (CaseBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName)

ASTMappable (DimIndexBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> DimIndexBase Info VName -> m (DimIndexBase Info VName)

ASTMappable (ExpBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName)

ASTMappable (FieldBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName)

ASTMappable (IdentBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> IdentBase Info VName -> m (IdentBase Info VName)

ASTMappable (LoopFormBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopFormBase Info VName -> m (LoopFormBase Info VName)

ASTMappable (PatBase Info VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatBase Info VName -> m (PatBase Info VName)

Eq (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(/=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

Eq (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(/=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

Eq (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(/=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

Eq (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(/=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

Eq (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(/=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

Eq (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(/=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

Eq (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase Info VName -> PatBase Info VName -> Bool

(/=) :: PatBase Info VName -> PatBase Info VName -> Bool

Ord (AppExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase Info VName -> AppExpBase Info VName -> Ordering

(<) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(<=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(>) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

(>=) :: AppExpBase Info VName -> AppExpBase Info VName -> Bool

max :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName

min :: AppExpBase Info VName -> AppExpBase Info VName -> AppExpBase Info VName

Ord (CaseBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase Info VName -> CaseBase Info VName -> Ordering

(<) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(<=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(>) :: CaseBase Info VName -> CaseBase Info VName -> Bool

(>=) :: CaseBase Info VName -> CaseBase Info VName -> Bool

max :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName

min :: CaseBase Info VName -> CaseBase Info VName -> CaseBase Info VName

Ord (DimIndexBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase Info VName -> DimIndexBase Info VName -> Ordering

(<) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(<=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(>) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

(>=) :: DimIndexBase Info VName -> DimIndexBase Info VName -> Bool

max :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName

min :: DimIndexBase Info VName -> DimIndexBase Info VName -> DimIndexBase Info VName

Ord (ExpBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase Info VName -> ExpBase Info VName -> Ordering

(<) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(<=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(>) :: ExpBase Info VName -> ExpBase Info VName -> Bool

(>=) :: ExpBase Info VName -> ExpBase Info VName -> Bool

max :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName

min :: ExpBase Info VName -> ExpBase Info VName -> ExpBase Info VName

Ord (FieldBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase Info VName -> FieldBase Info VName -> Ordering

(<) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(<=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(>) :: FieldBase Info VName -> FieldBase Info VName -> Bool

(>=) :: FieldBase Info VName -> FieldBase Info VName -> Bool

max :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName

min :: FieldBase Info VName -> FieldBase Info VName -> FieldBase Info VName

Ord (LoopFormBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase Info VName -> LoopFormBase Info VName -> Ordering

(<) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(<=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(>) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

(>=) :: LoopFormBase Info VName -> LoopFormBase Info VName -> Bool

max :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName

min :: LoopFormBase Info VName -> LoopFormBase Info VName -> LoopFormBase Info VName

Ord (PatBase Info VName)

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase Info VName -> PatBase Info VName -> Ordering

(<) :: PatBase Info VName -> PatBase Info VName -> Bool

(<=) :: PatBase Info VName -> PatBase Info VName -> Bool

(>) :: PatBase Info VName -> PatBase Info VName -> Bool

(>=) :: PatBase Info VName -> PatBase Info VName -> Bool

max :: PatBase Info VName -> PatBase Info VName -> PatBase Info VName

min :: PatBase Info VName -> PatBase Info VName -> PatBase Info VName

data Alias

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

Show Alias

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Alias -> ShowS

show :: Alias -> String

showList :: [Alias] -> ShowS

ASTMappable Alias

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Alias -> m Alias

ASTMappable Aliasing

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> Aliasing -> m Aliasing

ASTMappable PatRetType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatRetType -> m PatRetType

ASTMappable PatType

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> PatType -> m PatType

Eq Alias

Defined in Language.Futhark.Syntax

Methods

(==) :: Alias -> Alias -> Bool

(/=) :: Alias -> Alias -> Bool

Ord Alias

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

Substitutable (RetTypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Aliasing -> RetTypeBase Size Aliasing

Substitutable (TypeBase Size Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Aliasing -> TypeBase Size Aliasing

type Aliasing = Set Alias

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

data QualName vn

A name qualified with a breadcrumb of module accesses.

Constructors

QualName

Fields

• qualQuals :: ![vn]
• qualLeaf :: !vn

Instances

Foldable QualName

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

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)

Functor QualName

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> QualName a -> QualName b

(<$) :: a -> QualName b -> QualName a

Show vn => Show (QualName vn)

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> QualName vn -> ShowS

show :: QualName vn -> String

showList :: [QualName vn] -> ShowS

ASTMappable (QualName VName)

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> QualName VName -> m (QualName VName)

Eq (QualName Name)

Defined in Language.Futhark.Syntax

Methods

(==) :: QualName Name -> QualName Name -> Bool

(/=) :: QualName Name -> QualName Name -> Bool

Eq (QualName VName)

Defined in Language.Futhark.Syntax

Methods

(==) :: QualName VName -> QualName VName -> Bool

(/=) :: QualName VName -> QualName VName -> Bool

Ord (QualName Name)

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

Ord (QualName VName)

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

IsName vn => Pretty (QualName vn)

Defined in Language.Futhark.Pretty

Methods

pretty :: QualName vn -> Doc ann

prettyList :: [QualName vn] -> Doc ann