futhark-0.25.32: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageGHC2021

Language.Futhark.Syntax

Description

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.

Synopsis

Documentation

module Language.Futhark.Core

prettyString :: Pretty a => a -> String Source #

Prettyprint a value to a String, appropriately wrapped.

prettyText :: Pretty a => a -> Text Source #

Prettyprint a value to a Text, appropriately wrapped.

Types

data Uniqueness Source #

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

Constructors

Nonunique

May have references outside current function.

Unique

No references outside current function.

Instances

Instances details
DeclExtTyped DeclExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

declExtTypeOf :: DeclExtType -> DeclExtType Source #

DeclTyped DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

declTypeOf :: DeclType -> DeclType Source #

ExtTyped DeclExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

extTypeOf :: DeclExtType -> ExtType Source #

Typed DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: DeclType -> Type Source #

IsRetType FunReturns Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns Source #

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

IsRetType DeclExtType Source # 
Instance details

Defined in Futhark.IR.RetType

Methods

primRetType :: PrimType -> DeclExtType Source #

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

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

Monoid Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

mempty :: Uniqueness

mappend :: Uniqueness -> Uniqueness -> Uniqueness

mconcat :: [Uniqueness] -> Uniqueness

Semigroup Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

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

sconcat :: NonEmpty Uniqueness -> Uniqueness

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

Show Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> Uniqueness -> ShowS

show :: Uniqueness -> String

showList :: [Uniqueness] -> ShowS

Eq Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

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

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

Ord Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

compare :: Uniqueness -> Uniqueness -> Ordering

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

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

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

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

max :: Uniqueness -> Uniqueness -> Uniqueness

min :: Uniqueness -> Uniqueness -> Uniqueness

Pretty Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

pretty :: Uniqueness -> Doc ann Source #

prettyList :: [Uniqueness] -> Doc ann Source #

Simplifiable [FunReturns] Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

simplify :: SimplifiableRep rep => [FunReturns] -> SimpleM rep [FunReturns] Source #

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Uniqueness -> m (TypeBase Size Uniqueness) Source #

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Uniqueness -> RetTypeBase Size Uniqueness Source #

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Uniqueness -> TypeBase Size Uniqueness Source #

FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

declExtTypeOf :: MemInfo ExtSize Uniqueness ret -> DeclExtType Source #

DeclTyped (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

declTypeOf :: MemInfo SubExp Uniqueness ret -> DeclType Source #

FixExt ret => ExtTyped (MemInfo ExtSize Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

extTypeOf :: MemInfo ExtSize Uniqueness ret -> ExtType Source #

Typed (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

typeOf :: MemInfo SubExp Uniqueness ret -> Type Source #

data IntType Source #

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

Constructors

Int8 
Int16 
Int32 
Int64 

Instances

Instances details
Bounded IntType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

minBound :: IntType

maxBound :: IntType

Enum IntType Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntType -> ShowS

show :: IntType -> String

showList :: [IntType] -> ShowS

Eq IntType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord IntType Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: IntType -> Doc ann Source #

prettyList :: [IntType] -> Doc ann Source #

data FloatType Source #

A floating point type.

Constructors

Float16 
Float32 
Float64 

Instances

Instances details
Bounded FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

minBound :: FloatType

maxBound :: FloatType

Enum FloatType Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatType -> ShowS

show :: FloatType -> String

showList :: [FloatType] -> ShowS

Eq FloatType Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord FloatType Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatType -> Doc ann Source #

prettyList :: [FloatType] -> Doc ann Source #

data PrimType Source #

Low-level primitive types.

Constructors

Signed IntType 
Unsigned IntType 
FloatType FloatType 
Bool 

Instances

Instances details
Show PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimType -> ShowS

show :: PrimType -> String

showList :: [PrimType] -> ShowS

Eq PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PrimType -> PrimType -> Ordering

(<) :: PrimType -> PrimType -> Bool

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

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

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

max :: PrimType -> PrimType -> PrimType

min :: PrimType -> PrimType -> PrimType

Pretty PrimType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

pretty :: PrimType -> Doc ann Source #

prettyList :: [PrimType] -> Doc ann Source #

type Size = ExpBase Info VName Source #

The elaborated size of a dimension is just an expression.

newtype Shape dim Source #

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

Constructors

Shape 

Fields

Instances

Instances details
Functor Shape Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable Shape Source # 
Instance details

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 Source # 
Instance details

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)

Substitutable d => Substitutable (Shape d) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Shape d -> Shape d Source #

Monoid (Shape dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: Shape dim

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

mconcat :: [Shape dim] -> Shape dim

Semigroup (Shape dim) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Shape dim -> ShowS

show :: Shape dim -> String

showList :: [Shape dim] -> ShowS

Eq dim => Eq (Shape dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord dim => Ord (Shape dim) Source # 
Instance details

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 Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann Source #

prettyList :: [Shape Size] -> Doc ann Source #

Pretty (Shape Int64) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Int64 -> Doc ann Source #

prettyList :: [Shape Int64] -> Doc ann Source #

Pretty (Shape ()) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape () -> Doc ann Source #

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

Pretty (Shape Bool) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Bool -> Doc ann Source #

prettyList :: [Shape Bool] -> Doc ann Source #

shapeRank :: Shape dim -> Int Source #

The number of dimensions contained in a shape.

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

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

data TypeBase dim u Source #

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

Constructors

Scalar (ScalarTypeBase dim u) 
Array u (Shape dim) (ScalarTypeBase dim NoUniqueness) 

Instances

Instances details
Bifoldable TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => TypeBase m m -> m

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

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

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

Bifunctor TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> TypeBase a c -> TypeBase b d #

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

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

Bitraversable TypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ParamType -> m ParamType Source #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Functor (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeBase dim a -> TypeBase dim b

(<$) :: a -> TypeBase dim b -> TypeBase dim a

Foldable (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeBase dim m -> m

foldMap :: Monoid m => (a -> m) -> TypeBase dim a -> m

foldMap' :: Monoid m => (a -> m) -> TypeBase dim a -> m

foldr :: (a -> b -> b) -> b -> TypeBase dim a -> b

foldr' :: (a -> b -> b) -> b -> TypeBase dim a -> b

foldl :: (b -> a -> b) -> b -> TypeBase dim a -> b

foldl' :: (b -> a -> b) -> b -> TypeBase dim a -> b

foldr1 :: (a -> a -> a) -> TypeBase dim a -> a

foldl1 :: (a -> a -> a) -> TypeBase dim a -> a

toList :: TypeBase dim a -> [a]

null :: TypeBase dim a -> Bool

length :: TypeBase dim a -> Int

elem :: Eq a => a -> TypeBase dim a -> Bool

maximum :: Ord a => TypeBase dim a -> a

minimum :: Ord a => TypeBase dim a -> a

sum :: Num a => TypeBase dim a -> a

product :: Num a => TypeBase dim a -> a

Traversable (TypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeBase dim a -> f (TypeBase dim b) #

sequenceA :: Applicative f => TypeBase dim (f a) -> f (TypeBase dim a)

mapM :: Monad m => (a -> m b) -> TypeBase dim a -> m (TypeBase dim b)

sequence :: Monad m => TypeBase dim (m a) -> m (TypeBase dim a)

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Uniqueness -> m (TypeBase Size Uniqueness) Source #

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Uniqueness -> TypeBase Size Uniqueness Source #

(Show dim, Show u) => Show (TypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeBase dim u -> String

showList :: [TypeBase dim u] -> ShowS

(Eq dim, Eq u) => Eq (TypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeBase dim u -> TypeBase dim u -> Bool

(/=) :: TypeBase dim u -> TypeBase dim u -> Bool

(Ord dim, Ord u) => Ord (TypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeBase dim u -> TypeBase dim u -> Ordering

(<) :: TypeBase dim u -> TypeBase dim u -> Bool

(<=) :: TypeBase dim u -> TypeBase dim u -> Bool

(>) :: TypeBase dim u -> TypeBase dim u -> Bool

(>=) :: TypeBase dim u -> TypeBase dim u -> Bool

max :: TypeBase dim u -> TypeBase dim u -> TypeBase dim u

min :: TypeBase dim u -> TypeBase dim u -> TypeBase dim u

(Pretty (Shape dim), Pretty u) => Pretty (TypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBase dim u -> Doc ann Source #

prettyList :: [TypeBase dim u] -> Doc ann Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

data TypeArg dim Source #

An argument passed to a type constructor.

Constructors

TypeArgDim dim 
TypeArgType (TypeBase dim NoUniqueness) 

Instances

Instances details
Functor TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeArg m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> TypeArg a -> a

foldl1 :: (a -> a -> a) -> TypeArg a -> a

toList :: TypeArg a -> [a]

null :: TypeArg a -> Bool

length :: TypeArg a -> Int

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

maximum :: Ord a => TypeArg a -> a

minimum :: Ord a => TypeArg a -> a

sum :: Num a => TypeArg a -> a

product :: Num a => TypeArg a -> a

Traversable TypeArg Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeArg a -> f (TypeArg b) #

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

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

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

Show dim => Show (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArg dim -> ShowS

show :: TypeArg dim -> String

showList :: [TypeArg dim] -> ShowS

Eq dim => Eq (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord dim => Ord (TypeArg dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArg dim -> TypeArg dim -> Ordering

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

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

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

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

max :: TypeArg dim -> TypeArg dim -> TypeArg dim

min :: TypeArg dim -> TypeArg dim -> TypeArg dim

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann Source #

prettyList :: [TypeArg Size] -> Doc ann Source #

data SizeExp d Source #

A dimension declaration expression for use in a TypeExp. Syntactically includes the brackets.

Constructors

SizeExp d SrcLoc

The size of the dimension is this expression (or whatever), all of which free variables must be in scope.

SizeExpAny SrcLoc

No dimension declaration.

Instances

Instances details
Functor SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => SizeExp m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> SizeExp a -> a

foldl1 :: (a -> a -> a) -> SizeExp a -> a

toList :: SizeExp a -> [a]

null :: SizeExp a -> Bool

length :: SizeExp a -> Int

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

maximum :: Ord a => SizeExp a -> a

minimum :: Ord a => SizeExp a -> a

sum :: Num a => SizeExp a -> a

product :: Num a => SizeExp a -> a

Traversable SizeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> SizeExp a -> f (SizeExp b) #

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

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

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

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show d => Show (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeExp d -> ShowS

show :: SizeExp d -> String

showList :: [SizeExp d] -> ShowS

Eq d => Eq (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord d => Ord (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: SizeExp d -> SizeExp d -> Ordering

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

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

(>) :: SizeExp d -> SizeExp d -> Bool

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

max :: SizeExp d -> SizeExp d -> SizeExp d

min :: SizeExp d -> SizeExp d -> SizeExp d

Pretty d => Pretty (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeExp d -> Doc ann Source #

prettyList :: [SizeExp d] -> Doc ann Source #

Located (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeExp d -> Loc Source #

locOfList :: [SizeExp d] -> Loc Source #

data TypeExp d vn Source #

An unstructured syntactic 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 
TEParens (TypeExp d vn) SrcLoc 
TETuple [TypeExp d vn] SrcLoc 
TERecord [(L Name, TypeExp d vn)] SrcLoc 
TEArray (SizeExp d) (TypeExp d vn) SrcLoc 
TEUnique (TypeExp d vn) SrcLoc 
TEApply (TypeExp d vn) (TypeArgExp d vn) SrcLoc 
TEArrow (Maybe vn) (TypeExp d vn) (TypeExp d vn) SrcLoc 
TESum [(Name, [TypeExp d vn])] SrcLoc 
TEDim [vn] (TypeExp d vn) SrcLoc 

Instances

Instances details
Bifoldable TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => TypeExp m m -> m

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

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

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

Bifunctor TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> TypeExp a c -> TypeExp b d #

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

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

Bitraversable TypeExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

Functor (TypeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeExp d a -> TypeExp d b

(<$) :: a -> TypeExp d b -> TypeExp d a

Foldable (TypeExp dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeExp dim m -> m

foldMap :: Monoid m => (a -> m) -> TypeExp dim a -> m

foldMap' :: Monoid m => (a -> m) -> TypeExp dim a -> m

foldr :: (a -> b -> b) -> b -> TypeExp dim a -> b

foldr' :: (a -> b -> b) -> b -> TypeExp dim a -> b

foldl :: (b -> a -> b) -> b -> TypeExp dim a -> b

foldl' :: (b -> a -> b) -> b -> TypeExp dim a -> b

foldr1 :: (a -> a -> a) -> TypeExp dim a -> a

foldl1 :: (a -> a -> a) -> TypeExp dim a -> a

toList :: TypeExp dim a -> [a]

null :: TypeExp dim a -> Bool

length :: TypeExp dim a -> Int

elem :: Eq a => a -> TypeExp dim a -> Bool

maximum :: Ord a => TypeExp dim a -> a

minimum :: Ord a => TypeExp dim a -> a

sum :: Num a => TypeExp dim a -> a

product :: Num a => TypeExp dim a -> a

Traversable (TypeExp dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeExp dim a -> f (TypeExp dim b) #

sequenceA :: Applicative f => TypeExp dim (f a) -> f (TypeExp dim a)

mapM :: Monad m => (a -> m b) -> TypeExp dim a -> m (TypeExp dim b)

sequence :: Monad m => TypeExp dim (m a) -> m (TypeExp dim a)

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

(Show vn, Show d) => Show (TypeExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeExp d vn -> ShowS

show :: TypeExp d vn -> String

showList :: [TypeExp d vn] -> ShowS

(Eq vn, Eq d) => Eq (TypeExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeExp d vn -> TypeExp d vn -> Bool

(/=) :: TypeExp d vn -> TypeExp d vn -> Bool

(Ord vn, Ord d) => Ord (TypeExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeExp d vn -> TypeExp d vn -> Ordering

(<) :: TypeExp d vn -> TypeExp d vn -> Bool

(<=) :: TypeExp d vn -> TypeExp d vn -> Bool

(>) :: TypeExp d vn -> TypeExp d vn -> Bool

(>=) :: TypeExp d vn -> TypeExp d vn -> Bool

max :: TypeExp d vn -> TypeExp d vn -> TypeExp d vn

min :: TypeExp d vn -> TypeExp d vn -> TypeExp d vn

(IsName vn, Pretty d) => Pretty (TypeExp d vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeExp d vn -> Doc ann Source #

prettyList :: [TypeExp d vn] -> Doc ann Source #

Located (TypeExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeExp f vn -> Loc Source #

locOfList :: [TypeExp f vn] -> Loc Source #

data TypeArgExp d vn Source #

A type argument expression passed to a type constructor.

Constructors

TypeArgExpSize (SizeExp d) 
TypeArgExpType (TypeExp d vn) 

Instances

Instances details
Bifoldable TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => TypeArgExp m m -> m

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

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

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

Bifunctor TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> TypeArgExp a c -> TypeArgExp b d #

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

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

Bitraversable TypeArgExp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

Functor (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> TypeArgExp d a -> TypeArgExp d b

(<$) :: a -> TypeArgExp d b -> TypeArgExp d a

Foldable (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeArgExp d m -> m

foldMap :: Monoid m => (a -> m) -> TypeArgExp d a -> m

foldMap' :: Monoid m => (a -> m) -> TypeArgExp d a -> m

foldr :: (a -> b -> b) -> b -> TypeArgExp d a -> b

foldr' :: (a -> b -> b) -> b -> TypeArgExp d a -> b

foldl :: (b -> a -> b) -> b -> TypeArgExp d a -> b

foldl' :: (b -> a -> b) -> b -> TypeArgExp d a -> b

foldr1 :: (a -> a -> a) -> TypeArgExp d a -> a

foldl1 :: (a -> a -> a) -> TypeArgExp d a -> a

toList :: TypeArgExp d a -> [a]

null :: TypeArgExp d a -> Bool

length :: TypeArgExp d a -> Int

elem :: Eq a => a -> TypeArgExp d a -> Bool

maximum :: Ord a => TypeArgExp d a -> a

minimum :: Ord a => TypeArgExp d a -> a

sum :: Num a => TypeArgExp d a -> a

product :: Num a => TypeArgExp d a -> a

Traversable (TypeArgExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeArgExp d a -> f (TypeArgExp d b) #

sequenceA :: Applicative f => TypeArgExp d (f a) -> f (TypeArgExp d a)

mapM :: Monad m => (a -> m b) -> TypeArgExp d a -> m (TypeArgExp d b)

sequence :: Monad m => TypeArgExp d (m a) -> m (TypeArgExp d a)

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

(Show d, Show vn) => Show (TypeArgExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeArgExp d vn -> ShowS

show :: TypeArgExp d vn -> String

showList :: [TypeArgExp d vn] -> ShowS

(Eq d, Eq vn) => Eq (TypeArgExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

(/=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

(Ord d, Ord vn) => Ord (TypeArgExp d vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeArgExp d vn -> TypeArgExp d vn -> Ordering

(<) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

(<=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

(>) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

(>=) :: TypeArgExp d vn -> TypeArgExp d vn -> Bool

max :: TypeArgExp d vn -> TypeArgExp d vn -> TypeArgExp d vn

min :: TypeArgExp d vn -> TypeArgExp d vn -> TypeArgExp d vn

(Pretty d, IsName vn) => Pretty (TypeArgExp d vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArgExp d vn -> Doc ann Source #

prettyList :: [TypeArgExp d vn] -> Doc ann Source #

Located (TypeArgExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeArgExp f vn -> Loc Source #

locOfList :: [TypeArgExp f vn] -> Loc Source #

data PName Source #

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

Constructors

Named VName 
Unnamed 

Instances

Instances details
Show PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PName -> ShowS

show :: PName -> String

showList :: [PName] -> ShowS

Eq PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord PName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PName -> PName -> Ordering

(<) :: PName -> PName -> Bool

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

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

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

max :: PName -> PName -> PName

min :: PName -> PName -> PName

data ScalarTypeBase dim u Source #

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

Constructors

Prim PrimType 
TypeVar u (QualName VName) [TypeArg dim] 
Record (Map Name (TypeBase dim u)) 
Sum (Map Name [TypeBase dim u]) 
Arrow u PName Diet (TypeBase dim NoUniqueness) (RetTypeBase dim Uniqueness)

The aliasing corresponds to the lexical closure of the function.

Instances

Instances details
Bifoldable ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bifold :: Monoid m => ScalarTypeBase m m -> m

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

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

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

Bifunctor ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

bimap :: (a -> b) -> (c -> d) -> ScalarTypeBase a c -> ScalarTypeBase b d #

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

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

Bitraversable ScalarTypeBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

Functor (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> ScalarTypeBase dim a -> ScalarTypeBase dim b

(<$) :: a -> ScalarTypeBase dim b -> ScalarTypeBase dim a

Foldable (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => ScalarTypeBase dim m -> m

foldMap :: Monoid m => (a -> m) -> ScalarTypeBase dim a -> m

foldMap' :: Monoid m => (a -> m) -> ScalarTypeBase dim a -> m

foldr :: (a -> b -> b) -> b -> ScalarTypeBase dim a -> b

foldr' :: (a -> b -> b) -> b -> ScalarTypeBase dim a -> b

foldl :: (b -> a -> b) -> b -> ScalarTypeBase dim a -> b

foldl' :: (b -> a -> b) -> b -> ScalarTypeBase dim a -> b

foldr1 :: (a -> a -> a) -> ScalarTypeBase dim a -> a

foldl1 :: (a -> a -> a) -> ScalarTypeBase dim a -> a

toList :: ScalarTypeBase dim a -> [a]

null :: ScalarTypeBase dim a -> Bool

length :: ScalarTypeBase dim a -> Int

elem :: Eq a => a -> ScalarTypeBase dim a -> Bool

maximum :: Ord a => ScalarTypeBase dim a -> a

minimum :: Ord a => ScalarTypeBase dim a -> a

sum :: Num a => ScalarTypeBase dim a -> a

product :: Num a => ScalarTypeBase dim a -> a

Traversable (ScalarTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> ScalarTypeBase dim a -> f (ScalarTypeBase dim b) #

sequenceA :: Applicative f => ScalarTypeBase dim (f a) -> f (ScalarTypeBase dim a)

mapM :: Monad m => (a -> m b) -> ScalarTypeBase dim a -> m (ScalarTypeBase dim b)

sequence :: Monad m => ScalarTypeBase dim (m a) -> m (ScalarTypeBase dim a)

(Show dim, Show u) => Show (ScalarTypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ScalarTypeBase dim u -> String

showList :: [ScalarTypeBase dim u] -> ShowS

(Eq dim, Eq u) => Eq (ScalarTypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

(/=) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

(Ord dim, Ord u) => Ord (ScalarTypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Ordering

(<) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

(<=) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

(>) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

(>=) :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> Bool

max :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> ScalarTypeBase dim u

min :: ScalarTypeBase dim u -> ScalarTypeBase dim u -> ScalarTypeBase dim u

(Pretty (Shape dim), Pretty u) => Pretty (ScalarTypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ScalarTypeBase dim u -> Doc ann Source #

prettyList :: [ScalarTypeBase dim u] -> Doc ann Source #

data RetTypeBase dim as Source #

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

Constructors

RetType 

Fields

Instances

Instances details
Bifoldable RetTypeBase Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

Functor (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> RetTypeBase dim a -> RetTypeBase dim b

(<$) :: a -> RetTypeBase dim b -> RetTypeBase dim a

Foldable (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => RetTypeBase dim m -> m

foldMap :: Monoid m => (a -> m) -> RetTypeBase dim a -> m

foldMap' :: Monoid m => (a -> m) -> RetTypeBase dim a -> m

foldr :: (a -> b -> b) -> b -> RetTypeBase dim a -> b

foldr' :: (a -> b -> b) -> b -> RetTypeBase dim a -> b

foldl :: (b -> a -> b) -> b -> RetTypeBase dim a -> b

foldl' :: (b -> a -> b) -> b -> RetTypeBase dim a -> b

foldr1 :: (a -> a -> a) -> RetTypeBase dim a -> a

foldl1 :: (a -> a -> a) -> RetTypeBase dim a -> a

toList :: RetTypeBase dim a -> [a]

null :: RetTypeBase dim a -> Bool

length :: RetTypeBase dim a -> Int

elem :: Eq a => a -> RetTypeBase dim a -> Bool

maximum :: Ord a => RetTypeBase dim a -> a

minimum :: Ord a => RetTypeBase dim a -> a

sum :: Num a => RetTypeBase dim a -> a

product :: Num a => RetTypeBase dim a -> a

Traversable (RetTypeBase dim) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> RetTypeBase dim a -> f (RetTypeBase dim b) #

sequenceA :: Applicative f => RetTypeBase dim (f a) -> f (RetTypeBase dim a)

mapM :: Monad m => (a -> m b) -> RetTypeBase dim a -> m (RetTypeBase dim b)

sequence :: Monad m => RetTypeBase dim (m a) -> m (RetTypeBase dim a)

Substitutable (RetTypeBase Size NoUniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoUniqueness -> RetTypeBase Size NoUniqueness Source #

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Uniqueness -> RetTypeBase Size Uniqueness Source #

(Show as, Show dim) => Show (RetTypeBase dim as) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: RetTypeBase dim as -> String

showList :: [RetTypeBase dim as] -> ShowS

(Eq as, Eq dim) => Eq (RetTypeBase dim as) Source # 
Instance details

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) Source # 
Instance details

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 u) => Pretty (RetTypeBase dim u) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: RetTypeBase dim u -> Doc ann Source #

prettyList :: [RetTypeBase dim u] -> Doc ann Source #

type StructType = TypeBase Size NoUniqueness Source #

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

type ParamType = TypeBase Size Diet Source #

A type with consumption information, used for function parameters (but not in function types).

type ResType = TypeBase Size Uniqueness Source #

A type with uniqueness information, used for function return types

type StructRetType = RetTypeBase Size NoUniqueness Source #

The return type version of a ResType.

type ResRetType = RetTypeBase Size Uniqueness Source #

The return type version of a StructType.

type ValueType = TypeBase Int64 NoUniqueness Source #

A value type contains full, manifest size information.

data Diet Source #

Information about which parts of a parameter are consumed. This can be considered kind of an effect on the function.

Constructors

Observe

Does not consume the parameter.

Consume

Consumes the parameter.

Instances

Instances details
ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ParamType -> m ParamType Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Monoid Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

mempty :: Diet

mappend :: Diet -> Diet -> Diet

mconcat :: [Diet] -> Diet

Semigroup Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(<>) :: Diet -> Diet -> Diet #

sconcat :: NonEmpty Diet -> Diet

stimes :: Integral b => b -> Diet -> Diet

Show Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Diet -> ShowS

show :: Diet -> String

showList :: [Diet] -> ShowS

Eq Diet Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord Diet Source # 
Instance details

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

Pretty Diet Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Diet -> Doc ann Source #

prettyList :: [Diet] -> Doc ann Source #

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Values

data IntValue Source #

An integer value.

Constructors

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

Instances

Instances details
IsValue IntValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: IntValue -> PrimValue Source #

Show IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> IntValue -> ShowS

show :: IntValue -> String

showList :: [IntValue] -> ShowS

Eq IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord IntValue Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: IntValue -> SrcLoc -> Exp Source #

Pretty IntValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: IntValue -> Doc ann Source #

prettyList :: [IntValue] -> Doc ann Source #

data FloatValue Source #

A floating-point value.

Constructors

Float16Value !Half 
Float32Value !Float 
Float64Value !Double 

Instances

Instances details
IsValue FloatValue Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: FloatValue -> PrimValue Source #

Show FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

showsPrec :: Int -> FloatValue -> ShowS

show :: FloatValue -> String

showList :: [FloatValue] -> ShowS

Eq FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

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

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

Ord FloatValue Source # 
Instance details

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 Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: FloatValue -> SrcLoc -> Exp Source #

Pretty FloatValue Source # 
Instance details

Defined in Language.Futhark.Primitive

Methods

pretty :: FloatValue -> Doc ann Source #

prettyList :: [FloatValue] -> Doc ann Source #

data PrimValue Source #

Non-array values.

Constructors

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

Instances

Instances details
Show PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PrimValue -> ShowS

show :: PrimValue -> String

showList :: [PrimValue] -> ShowS

Eq PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord PrimValue Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PrimValue -> PrimValue -> Ordering

(<) :: PrimValue -> PrimValue -> Bool

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

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

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

max :: PrimValue -> PrimValue -> PrimValue

min :: PrimValue -> PrimValue -> PrimValue

Pretty PrimValue Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PrimValue -> Doc ann Source #

prettyList :: [PrimValue] -> Doc ann Source #

class IsPrimValue v where Source #

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

Methods

primValue :: v -> PrimValue Source #

Instances

Instances details
IsPrimValue Int16 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int16 -> PrimValue Source #

IsPrimValue Int32 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int32 -> PrimValue Source #

IsPrimValue Int64 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int64 -> PrimValue Source #

IsPrimValue Int8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int8 -> PrimValue Source #

IsPrimValue Word16 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word16 -> PrimValue Source #

IsPrimValue Word32 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word32 -> PrimValue Source #

IsPrimValue Word64 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word64 -> PrimValue Source #

IsPrimValue Word8 Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Word8 -> PrimValue Source #

IsPrimValue Bool Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Bool -> PrimValue Source #

IsPrimValue Double Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Double -> PrimValue Source #

IsPrimValue Float Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Float -> PrimValue Source #

IsPrimValue Int Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

primValue :: Int -> PrimValue Source #

Abstract syntax tree

data AttrInfo (vn :: k) Source #

The payload of an attribute.

Constructors

AttrAtom (AttrAtom vn) SrcLoc 
AttrComp Name [AttrInfo vn] SrcLoc 

Instances

Instances details
Show (AttrInfo vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AttrInfo vn -> ShowS

show :: AttrInfo vn -> String

showList :: [AttrInfo vn] -> ShowS

Eq (AttrInfo vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AttrInfo vn) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrInfo vn -> Doc ann Source #

prettyList :: [AttrInfo vn] -> Doc ann Source #

data AttrAtom (vn :: k) Source #

The value of an AttrAtom.

Constructors

AtomName Name 
AtomInt Integer 

Instances

Instances details
Show (AttrAtom vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AttrAtom vn -> ShowS

show :: AttrAtom vn -> String

showList :: [AttrAtom vn] -> ShowS

Eq (AttrAtom vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AttrAtom vn) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: AttrAtom vn -> Doc ann Source #

prettyList :: [AttrAtom vn] -> Doc ann Source #

data BinOp Source #

Default binary operators.

Constructors

Backtick

A pseudo-operator standing in for any normal identifier used as an operator (they all have the same fixity).

Bang

Not a real operator, but operator with this as a prefix may be defined by the user.

Equ

Not a real operator, but operator with this as a prefix may be defined by the user.

Plus 
Minus 
Pow 
Times 
Divide 
Mod 
Quot 
Rem 
ShiftR 
ShiftL 
Band 
Xor 
Bor 
LogAnd 
LogOr 
Equal 
NotEqual 
Less 
Leq 
Greater 
Geq 
PipeRight
|>
PipeLeft

<| Misc

Instances

Instances details
Bounded BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

minBound :: BinOp

maxBound :: BinOp

Enum BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

succ :: BinOp -> BinOp

pred :: BinOp -> BinOp

toEnum :: Int -> BinOp

fromEnum :: BinOp -> Int

enumFrom :: BinOp -> [BinOp]

enumFromThen :: BinOp -> BinOp -> [BinOp]

enumFromTo :: BinOp -> BinOp -> [BinOp]

enumFromThenTo :: BinOp -> BinOp -> BinOp -> [BinOp]

Show BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

Eq BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: BinOp -> BinOp -> Ordering

(<) :: BinOp -> BinOp -> Bool

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

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

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

max :: BinOp -> BinOp -> BinOp

min :: BinOp -> BinOp -> BinOp

Pretty BinOp Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

pretty :: BinOp -> Doc ann Source #

prettyList :: [BinOp] -> Doc ann Source #

data IdentBase (f :: k -> Type) vn (t :: k) Source #

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

Constructors

Ident 

Fields

Instances

Instances details
ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (IdentBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: IdentBase Info VName t -> String

showList :: [IdentBase Info VName t] -> ShowS

(Show (Info t), Show vn) => Show (IdentBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase (NoInfo :: Type -> Type) vn t -> ShowS

show :: IdentBase (NoInfo :: Type -> Type) vn t -> String

showList :: [IdentBase (NoInfo :: Type -> Type) vn t] -> ShowS

Eq vn => Eq (IdentBase ty vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

(/=) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

Ord vn => Ord (IdentBase ty vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: IdentBase ty vn t -> IdentBase ty vn t -> Ordering

(<) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

(<=) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

(>) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

(>=) :: IdentBase ty vn t -> IdentBase ty vn t -> Bool

max :: IdentBase ty vn t -> IdentBase ty vn t -> IdentBase ty vn t

min :: IdentBase ty vn t -> IdentBase ty vn t -> IdentBase ty vn t

IsName vn => Pretty (IdentBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: IdentBase f vn t -> Doc ann Source #

prettyList :: [IdentBase f vn t] -> Doc ann Source #

Located (IdentBase ty vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: IdentBase ty vn t -> Loc Source #

locOfList :: [IdentBase ty vn t] -> Loc Source #

data Inclusiveness a Source #

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

Constructors

DownToExclusive a 
ToInclusive a

May be "down to" if step is negative.

UpToExclusive a 

Instances

Instances details
Functor Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => Inclusiveness m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Inclusiveness a -> a

foldl1 :: (a -> a -> a) -> Inclusiveness a -> a

toList :: Inclusiveness a -> [a]

null :: Inclusiveness a -> Bool

length :: Inclusiveness a -> Int

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

maximum :: Ord a => Inclusiveness a -> a

minimum :: Ord a => Inclusiveness a -> a

sum :: Num a => Inclusiveness a -> a

product :: Num a => Inclusiveness a -> a

Traversable Inclusiveness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> Inclusiveness a -> f (Inclusiveness b) #

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

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

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

Show a => Show (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Inclusiveness a -> ShowS

show :: Inclusiveness a -> String

showList :: [Inclusiveness a] -> ShowS

Eq a => Eq (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord a => Ord (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Inclusiveness a -> Inclusiveness a -> Ordering

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

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

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

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

max :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a

min :: Inclusiveness a -> Inclusiveness a -> Inclusiveness a

Located a => Located (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: Inclusiveness a -> Loc Source #

locOfList :: [Inclusiveness a] -> Loc Source #

data DimIndexBase (f :: Type -> Type) vn Source #

An indexing of a single dimension.

Constructors

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

Instances

Instances details
ASTMappable (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (DimIndexBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase (NoInfo :: Type -> Type) vn -> ShowS

show :: DimIndexBase (NoInfo :: Type -> Type) vn -> String

showList :: [DimIndexBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (DimIndexBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (DimIndexBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

(IsName vn, Annot f) => Pretty (DimIndexBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: DimIndexBase f vn -> Doc ann Source #

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

type SliceBase (f :: Type -> Type) vn = [DimIndexBase f vn] Source #

A slicing of an array (potentially multiple dimensions).

data SizeBinder vn Source #

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

Constructors

SizeBinder 

Fields

Instances

Instances details
Show vn => Show (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SizeBinder vn -> ShowS

show :: SizeBinder vn -> String

showList :: [SizeBinder vn] -> ShowS

Eq vn => Eq (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord vn => Ord (SizeBinder vn) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: SizeBinder vn -> Doc ann Source #

prettyList :: [SizeBinder vn] -> Doc ann Source #

Located (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeBinder vn -> Loc Source #

locOfList :: [SizeBinder vn] -> Loc Source #

data AppExpBase (f :: Type -> Type) vn Source #

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) (NonEmpty (f (Maybe VName), ExpBase f vn)) SrcLoc

Function application. Parts of the compiler expects that the function expression is never itself an Apply. Use the mkApply function to maintain this invariant, rather than constructing Apply directly.

The Maybe VNames are existential sizes generated by this argument. May have duplicates across the program, but they will all produce the same value (the expressions will be identical).

Range (ExpBase f vn) (Maybe (ExpBase f vn)) (Inclusiveness (ExpBase f vn)) SrcLoc 
LetPat [SizeBinder vn] (PatBase f vn StructType) (ExpBase f vn) (ExpBase f vn) SrcLoc 
LetFun vn ([TypeParamBase vn], [PatBase f vn ParamType], Maybe (TypeExp (ExpBase f vn) vn), f ResRetType, ExpBase f vn) (ExpBase f vn) SrcLoc 
If (ExpBase f vn) (ExpBase f vn) (ExpBase f vn) SrcLoc 
Loop [VName] (PatBase f vn ParamType) (LoopInitBase f vn) (LoopFormBase f vn) (ExpBase f vn) SrcLoc 
BinOp (QualName vn, SrcLoc) (f StructType) (ExpBase f vn, f (Maybe VName)) (ExpBase f vn, f (Maybe VName)) SrcLoc 
LetWith (IdentBase f vn StructType) (IdentBase f vn StructType) (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

Instances details
ASTMappable (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (AppExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase (NoInfo :: Type -> Type) vn -> ShowS

show :: AppExpBase (NoInfo :: Type -> Type) vn -> String

showList :: [AppExpBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (AppExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AppExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Ordering

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

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

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

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

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

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

(IsName vn, Annot f) => Pretty (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: AppExpBase f vn -> Doc ann Source #

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

Located (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: AppExpBase f vn -> Loc Source #

locOfList :: [AppExpBase f vn] -> Loc Source #

data AppRes Source #

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

Instances

Instances details
ASTMappable AppRes Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppRes -> ShowS

show :: AppRes -> String

showList :: [AppRes] -> ShowS

Eq AppRes Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord AppRes Source # 
Instance details

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 :: Type -> Type) vn Source #

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

A polymorphic integral literal.

FloatLit Double (f StructType) SrcLoc

A polymorphic decimal literal.

StringLit [Word8] SrcLoc

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

Hole (f StructType) SrcLoc 
Var (QualName vn) (f StructType) 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 StructType) SrcLoc

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

ArrayVal [PrimValue] PrimType SrcLoc

Array value constants, where the elements are known to be constant primitives. This is a fast-path variant of ArrayLit that will in some cases be constructed by the parser, and also result from normalisation later on. Has exactly the same semantics as an ArrayLit.

Attr (AttrInfo vn) (ExpBase f vn) SrcLoc

An attribute applied to the following expression.

Project Name (ExpBase f vn) (f StructType) 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 StructType) 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 StructType) SrcLoc 
Lambda [PatBase f vn ParamType] (ExpBase f vn) (Maybe (TypeExp (ExpBase f vn) vn)) (f ResRetType) SrcLoc 
OpSection (QualName vn) (f StructType) SrcLoc

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

OpSectionLeft (QualName vn) (f StructType) (ExpBase f vn) (f (PName, ParamType, Maybe VName), f (PName, ParamType)) (f ResRetType, f [VName]) SrcLoc

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

OpSectionRight (QualName vn) (f StructType) (ExpBase f vn) (f (PName, ParamType), f (PName, ParamType, Maybe VName)) (f ResRetType) SrcLoc

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

ProjectSection [Name] (f StructType) SrcLoc

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

IndexSection (SliceBase f vn) (f StructType) SrcLoc

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

Ascript (ExpBase f vn) (TypeExp (ExpBase f vn) vn) SrcLoc

Type ascription: e : t.

Coerce (ExpBase f vn) (TypeExp (ExpBase f vn) vn) (f StructType) SrcLoc

Size coercion: e :> t.

AppExp (AppExpBase f vn) (f AppRes) 

Instances

Instances details
ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ParamType -> m ParamType Source #

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable Exp Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Exp -> Exp Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann Source #

prettyList :: [Shape Size] -> Doc ann Source #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann Source #

prettyList :: [TypeArg Size] -> Doc ann Source #

ASTMappable (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Uniqueness -> m (TypeBase Size Uniqueness) Source #

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (RetTypeBase Size NoUniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoUniqueness -> RetTypeBase Size NoUniqueness Source #

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Uniqueness -> RetTypeBase Size Uniqueness Source #

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Uniqueness -> TypeBase Size Uniqueness Source #

Show (ExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase (NoInfo :: Type -> Type) vn -> ShowS

show :: ExpBase (NoInfo :: Type -> Type) vn -> String

showList :: [ExpBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (ExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (ExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

(IsName vn, Annot f) => Pretty (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ExpBase f vn -> Doc ann Source #

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

Located (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ExpBase f vn -> Loc Source #

locOfList :: [ExpBase f vn] -> Loc Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

data FieldBase (f :: Type -> Type) vn Source #

An entry in a record literal.

Constructors

RecordFieldExplicit (L Name) (ExpBase f vn) SrcLoc 
RecordFieldImplicit (L vn) (f StructType) SrcLoc 

Instances

Instances details
ASTMappable (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (FieldBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase (NoInfo :: Type -> Type) vn -> ShowS

show :: FieldBase (NoInfo :: Type -> Type) vn -> String

showList :: [FieldBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (FieldBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (FieldBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

(IsName vn, Annot f) => Pretty (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: FieldBase f vn -> Doc ann Source #

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

Located (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: FieldBase f vn -> Loc Source #

locOfList :: [FieldBase f vn] -> Loc Source #

data CaseBase (f :: Type -> Type) vn Source #

A case in a match expression.

Constructors

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

Instances

Instances details
ASTMappable (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (CaseBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase (NoInfo :: Type -> Type) vn -> ShowS

show :: CaseBase (NoInfo :: Type -> Type) vn -> String

showList :: [CaseBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (CaseBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (CaseBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

(IsName vn, Annot f) => Pretty (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: CaseBase f vn -> Doc ann Source #

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

Located (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: CaseBase f vn -> Loc Source #

locOfList :: [CaseBase f vn] -> Loc Source #

data LoopInitBase (f :: Type -> Type) vn Source #

Initial value for the loop. If none is provided, then an expression will be synthesised based on the parameter.

Constructors

LoopInitExplicit (ExpBase f vn) 
LoopInitImplicit (f (ExpBase f vn)) 

Instances

Instances details
ASTMappable (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopInitBase Info VName -> m (LoopInitBase Info VName) Source #

Show (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: LoopInitBase Info VName -> String

showList :: [LoopInitBase Info VName] -> ShowS

Show vn => Show (LoopInitBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase (NoInfo :: Type -> Type) vn -> ShowS

show :: LoopInitBase (NoInfo :: Type -> Type) vn -> String

showList :: [LoopInitBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

Ord (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase Info VName -> LoopInitBase Info VName -> Ordering

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

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

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

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

max :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName

min :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName

Ord (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

max :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

min :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

(IsName vn, Annot f) => Pretty (LoopInitBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: LoopInitBase f vn -> Doc ann Source #

prettyList :: [LoopInitBase f vn] -> Doc ann Source #

Located (LoopInitBase Info vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: LoopInitBase Info vn -> Loc Source #

locOfList :: [LoopInitBase Info vn] -> Loc Source #

data LoopFormBase (f :: Type -> Type) vn Source #

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

Constructors

For (IdentBase f vn StructType) (ExpBase f vn) 
ForIn (PatBase f vn StructType) (ExpBase f vn) 
While (ExpBase f vn) 

Instances

Instances details
ASTMappable (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (LoopFormBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase (NoInfo :: Type -> Type) vn -> ShowS

show :: LoopFormBase (NoInfo :: Type -> Type) vn -> String

showList :: [LoopFormBase (NoInfo :: Type -> Type) vn] -> ShowS

Eq (LoopFormBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (LoopFormBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

(IsName vn, Annot f) => Pretty (LoopFormBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: LoopFormBase f vn -> Doc ann Source #

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

data PatLit Source #

A literal in a pattern.

Constructors

PatLitInt Integer 
PatLitFloat Double 
PatLitPrim PrimValue 

Instances

Instances details
Show PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatLit -> ShowS

show :: PatLit -> String

showList :: [PatLit] -> ShowS

Eq PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord PatLit Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatLit -> PatLit -> Ordering

(<) :: PatLit -> PatLit -> Bool

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

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

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

max :: PatLit -> PatLit -> PatLit

min :: PatLit -> PatLit -> PatLit

Pretty PatLit Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PatLit -> Doc ann Source #

prettyList :: [PatLit] -> Doc ann Source #

data PatBase (f :: Type -> Type) vn t Source #

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

Constructors

TuplePat [PatBase f vn t] SrcLoc 
RecordPat [(L Name, PatBase f vn t)] SrcLoc 
PatParens (PatBase f vn t) SrcLoc 
Id vn (f t) SrcLoc 
Wildcard (f t) SrcLoc 
PatAscription (PatBase f vn t) (TypeExp (ExpBase f vn) vn) SrcLoc 
PatLit PatLit (f t) SrcLoc 
PatConstr Name (f t) [PatBase f vn t] SrcLoc 
PatAttr (AttrInfo vn) (PatBase f vn t) SrcLoc 

Instances

Instances details
Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Traversable f => Functor (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fmap :: (a -> b) -> PatBase f vn a -> PatBase f vn b

(<$) :: a -> PatBase f vn b -> PatBase f vn a

Traversable f => Foldable (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => PatBase f vn m -> m

foldMap :: Monoid m => (a -> m) -> PatBase f vn a -> m

foldMap' :: Monoid m => (a -> m) -> PatBase f vn a -> m

foldr :: (a -> b -> b) -> b -> PatBase f vn a -> b

foldr' :: (a -> b -> b) -> b -> PatBase f vn a -> b

foldl :: (b -> a -> b) -> b -> PatBase f vn a -> b

foldl' :: (b -> a -> b) -> b -> PatBase f vn a -> b

foldr1 :: (a -> a -> a) -> PatBase f vn a -> a

foldl1 :: (a -> a -> a) -> PatBase f vn a -> a

toList :: PatBase f vn a -> [a]

null :: PatBase f vn a -> Bool

length :: PatBase f vn a -> Int

elem :: Eq a => a -> PatBase f vn a -> Bool

maximum :: Ord a => PatBase f vn a -> a

minimum :: Ord a => PatBase f vn a -> a

sum :: Num a => PatBase f vn a -> a

product :: Num a => PatBase f vn a -> a

Traversable f => Traversable (PatBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f0 => (a -> f0 b) -> PatBase f vn a -> f0 (PatBase f vn b) #

sequenceA :: Applicative f0 => PatBase f vn (f0 a) -> f0 (PatBase f vn a)

mapM :: Monad m => (a -> m b) -> PatBase f vn a -> m (PatBase f vn b)

sequence :: Monad m => PatBase f vn (m a) -> m (PatBase f vn a)

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: PatBase Info VName t -> String

showList :: [PatBase Info VName t] -> ShowS

(Show (NoInfo t), Show vn) => Show (PatBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase (NoInfo :: Type -> Type) vn t -> ShowS

show :: PatBase (NoInfo :: Type -> Type) vn t -> String

showList :: [PatBase (NoInfo :: Type -> Type) vn t] -> ShowS

Eq (Info t) => Eq (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (NoInfo t) => Eq (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (Info t) => Ord (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

Ord (NoInfo t) => Ord (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Ordering

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

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

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

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

max :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

min :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

(IsName vn, Annot f, Pretty t) => Pretty (PatBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: PatBase f vn t -> Doc ann Source #

prettyList :: [PatBase f vn t] -> Doc ann Source #

Located (PatBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: PatBase f vn t -> Loc Source #

locOfList :: [PatBase f vn t] -> Loc Source #

Module language

newtype ImportName Source #

Canonical reference to a Futhark code file. Does not include the .fut extension. This is most often a path relative to the working directory of the compiler. In a multi-file program, a file is known by exactly one import name, even if it is referenced relatively by different names by files in different subdirectories.

Constructors

ImportName FilePath 

Instances

Instances details
Show ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ImportName -> ShowS

show :: ImportName -> String

showList :: [ImportName] -> ShowS

Eq ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ImportName -> ImportName -> Bool

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

Ord ImportName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ImportName -> ImportName -> Ordering

(<) :: ImportName -> ImportName -> Bool

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

(>) :: ImportName -> ImportName -> Bool

(>=) :: ImportName -> ImportName -> Bool

max :: ImportName -> ImportName -> ImportName

min :: ImportName -> ImportName -> ImportName

data SpecBase (f :: Type -> Type) vn Source #

A spec is a component of a module type.

Constructors

ValSpec 

Fields

TypeAbbrSpec (TypeBindBase f vn) 
TypeSpec Liftedness vn [TypeParamBase vn] (Maybe DocComment) SrcLoc

Abstract type.

ModSpec vn (ModTypeExpBase f vn) (Maybe DocComment) SrcLoc 
IncludeSpec (ModTypeExpBase f vn) SrcLoc 

Instances

Instances details
Show (SpecBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: SpecBase (NoInfo :: Type -> Type) Name -> String

showList :: [SpecBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: SpecBase f vn -> Doc ann Source #

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

Located (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SpecBase f vn -> Loc Source #

locOfList :: [SpecBase f vn] -> Loc Source #

data ModTypeExpBase (f :: Type -> Type) vn Source #

A module type expression.

Constructors

ModTypeVar (QualName vn) (f (Map VName VName)) SrcLoc 
ModTypeParens (ModTypeExpBase f vn) SrcLoc 
ModTypeSpecs [SpecBase f vn] SrcLoc 
ModTypeWith (ModTypeExpBase f vn) (TypeRefBase f vn) SrcLoc 
ModTypeArrow (Maybe vn) (ModTypeExpBase f vn) (ModTypeExpBase f vn) SrcLoc 

Instances

Instances details
Show (ModTypeExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ModTypeExpBase Info VName -> String

showList :: [ModTypeExpBase Info VName] -> ShowS

Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeExpBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ModTypeExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ModTypeExpBase f vn -> Doc ann Source #

prettyList :: [ModTypeExpBase f vn] -> Doc ann Source #

Located (ModTypeExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModTypeExpBase f vn -> Loc Source #

locOfList :: [ModTypeExpBase f vn] -> Loc Source #

data TypeRefBase (f :: Type -> Type) vn Source #

A type refinement.

Constructors

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

Instances

Instances details
Show (TypeRefBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeRefBase Info VName -> String

showList :: [TypeRefBase Info VName] -> ShowS

Show (TypeRefBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeRefBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeRefBase (NoInfo :: Type -> Type) Name] -> ShowS

Located (TypeRefBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeRefBase f vn -> Loc Source #

locOfList :: [TypeRefBase f vn] -> Loc Source #

data ModTypeBindBase (f :: Type -> Type) vn Source #

Module type binding.

Constructors

ModTypeBind 

Fields

Instances

Instances details
Show (ModTypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ModTypeBindBase Info VName -> String

showList :: [ModTypeBindBase Info VName] -> ShowS

Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ModTypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ModTypeBindBase f vn -> Doc ann Source #

prettyList :: [ModTypeBindBase f vn] -> Doc ann Source #

Located (ModTypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModTypeBindBase f vn -> Loc Source #

locOfList :: [ModTypeBindBase f vn] -> Loc Source #

data ModExpBase (f :: Type -> Type) vn Source #

Module expression.

Constructors

ModVar (QualName vn) SrcLoc 
ModParens (ModExpBase f vn) SrcLoc 
ModImport FilePath (f ImportName) 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) (ModTypeExpBase f vn) (f (Map VName VName)) SrcLoc 
ModLambda (ModParamBase f vn) (Maybe (ModTypeExpBase f vn, f (Map VName VName))) (ModExpBase f vn) SrcLoc 

Instances

Instances details
Show (ModExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModExpBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ModExpBase f vn -> Doc ann Source #

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

Located (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModExpBase f vn -> Loc Source #

locOfList :: [ModExpBase f vn] -> Loc Source #

data ModBindBase (f :: Type -> Type) vn Source #

A module binding.

Constructors

ModBind 

Fields

Instances

Instances details
Show (ModBindBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModBindBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ModBindBase f vn -> Doc ann Source #

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

Located (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModBindBase f vn -> Loc Source #

locOfList :: [ModBindBase f vn] -> Loc Source #

data ModParamBase (f :: Type -> Type) vn Source #

A module parameter.

Constructors

ModParam 

Fields

Instances

Instances details
Show (ModParamBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModParamBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModParamBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ModParamBase f vn -> Doc ann Source #

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

Located (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModParamBase f vn -> Loc Source #

locOfList :: [ModParamBase f vn] -> Loc Source #

Definitions

data DocComment Source #

Documentation strings, including source location. The string may contain newline characters, but it does not contain comment prefix markers.

Constructors

DocComment Text SrcLoc 

Instances

Instances details
Show DocComment Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DocComment -> ShowS

show :: DocComment -> String

showList :: [DocComment] -> ShowS

Located DocComment Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DocComment -> Loc Source #

locOfList :: [DocComment] -> Loc Source #

data ValBindBase (f :: Type -> Type) vn Source #

Function Declarations

Constructors

ValBind 

Fields

Instances

Instances details
Show (ValBindBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ValBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ValBindBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ValBindBase f vn -> Doc ann Source #

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

Located (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ValBindBase f vn -> Loc Source #

locOfList :: [ValBindBase f vn] -> Loc Source #

data EntryPoint Source #

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

Constructors

EntryPoint 

Fields

Instances

Instances details
Show EntryPoint Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryPoint -> ShowS

show :: EntryPoint -> String

showList :: [EntryPoint] -> ShowS

data EntryType Source #

Part of the type of an entry point. Has an actual type, and maybe also an ascribed type expression. Note that although size expressions in the elaborated type can contain variables, they are no longer in scope, and are considered more like equivalence classes.

Constructors

EntryType 

Fields

Instances

Instances details
Show EntryType Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryType -> ShowS

show :: EntryType -> String

showList :: [EntryType] -> ShowS

data EntryParam Source #

A parameter of an entry point.

Constructors

EntryParam 

Fields

Instances

Instances details
Show EntryParam Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> EntryParam -> ShowS

show :: EntryParam -> String

showList :: [EntryParam] -> ShowS

data Liftedness Source #

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

Constructors

Unlifted

May only be instantiated with a zero-order type of (possibly symbolically) known size.

SizeLifted

May only be instantiated with a zero-order type, but the size can be varying.

Lifted

May be instantiated with a functional type.

Instances

Instances details
Show Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Liftedness -> ShowS

show :: Liftedness -> String

showList :: [Liftedness] -> ShowS

Eq Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord Liftedness Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Liftedness -> Liftedness -> Ordering

(<) :: Liftedness -> Liftedness -> Bool

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

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

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

max :: Liftedness -> Liftedness -> Liftedness

min :: Liftedness -> Liftedness -> Liftedness

Pretty Liftedness Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Liftedness -> Doc ann Source #

prettyList :: [Liftedness] -> Doc ann Source #

data TypeBindBase (f :: Type -> Type) vn Source #

Type Declarations

Constructors

TypeBind 

Fields

Instances

Instances details
Show (TypeBindBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeBindBase f vn -> Doc ann Source #

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

Located (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeBindBase f vn -> Loc Source #

locOfList :: [TypeBindBase f vn] -> Loc Source #

data TypeParamBase vn Source #

A type parameter.

Constructors

TypeParamDim vn SrcLoc

A type parameter that must be a size.

TypeParamType Liftedness vn SrcLoc

A type parameter that must be a type.

Instances

Instances details
Functor TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => TypeParamBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> TypeParamBase a -> a

foldl1 :: (a -> a -> a) -> TypeParamBase a -> a

toList :: TypeParamBase a -> [a]

null :: TypeParamBase a -> Bool

length :: TypeParamBase a -> Int

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

maximum :: Ord a => TypeParamBase a -> a

minimum :: Ord a => TypeParamBase a -> a

sum :: Num a => TypeParamBase a -> a

product :: Num a => TypeParamBase a -> a

Traversable TypeParamBase Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> TypeParamBase a -> f (TypeParamBase b) #

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

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

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

Show vn => Show (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeParamBase vn -> ShowS

show :: TypeParamBase vn -> String

showList :: [TypeParamBase vn] -> ShowS

Eq vn => Eq (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord vn => Ord (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: TypeParamBase vn -> TypeParamBase vn -> Ordering

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

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

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

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

max :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn

min :: TypeParamBase vn -> TypeParamBase vn -> TypeParamBase vn

IsName vn => Pretty (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeParamBase vn -> Doc ann Source #

prettyList :: [TypeParamBase vn] -> Doc ann Source #

Located (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeParamBase vn -> Loc Source #

locOfList :: [TypeParamBase vn] -> Loc Source #

typeParamName :: TypeParamBase vn -> vn Source #

The name of a type parameter.

data ProgBase (f :: Type -> Type) vn Source #

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

Constructors

Prog 

Fields

Instances

Instances details
Show (ProgBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ProgBase (NoInfo :: Type -> Type) Name -> String

showList :: [ProgBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (ProgBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: ProgBase f vn -> Doc ann Source #

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

data DecBase (f :: Type -> Type) vn Source #

A top-level binding.

Constructors

ValDec (ValBindBase f vn) 
TypeDec (TypeBindBase f vn) 
ModTypeDec (ModTypeBindBase f vn) 
ModDec (ModBindBase f vn) 
OpenDec (ModExpBase f vn) SrcLoc 
LocalDec (DecBase f vn) SrcLoc 
ImportDec FilePath (f ImportName) SrcLoc 

Instances

Instances details
Show (DecBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: DecBase (NoInfo :: Type -> Type) Name -> String

showList :: [DecBase (NoInfo :: Type -> Type) Name] -> ShowS

(IsName vn, Annot f) => Pretty (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: DecBase f vn -> Doc ann Source #

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

Located (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DecBase f vn -> Loc Source #

locOfList :: [DecBase f vn] -> Loc Source #

Miscellaneous

data L a Source #

A value of type L a is a value of type a with an associated Loc, but this location is ignored when performing comparisons.

Constructors

L Loc a 

Instances

Instances details
Functor L 
Instance details

Defined in Data.Loc

Methods

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

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

Data a => Data (L a) 
Instance details

Defined in Data.Loc

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> L a -> c (L a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (L a)

toConstr :: L a -> Constr

dataTypeOf :: L a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (L a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (L a))

gmapT :: (forall b. Data b => b -> b) -> L a -> L a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r

gmapQ :: (forall d. Data d => d -> u) -> L a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> L a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> L a -> m (L a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a)

Show x => Show (L x) 
Instance details

Defined in Data.Loc

Methods

showsPrec :: Int -> L x -> ShowS

show :: L x -> String

showList :: [L x] -> ShowS

Eq x => Eq (L x) 
Instance details

Defined in Data.Loc

Methods

(==) :: L x -> L x -> Bool

(/=) :: L x -> L x -> Bool

Ord x => Ord (L x) 
Instance details

Defined in Data.Loc

Methods

compare :: L x -> L x -> Ordering

(<) :: L x -> L x -> Bool

(<=) :: L x -> L x -> Bool

(>) :: L x -> L x -> Bool

(>=) :: L x -> L x -> Bool

max :: L x -> L x -> L x

min :: L x -> L x -> L x

Pretty x => Pretty (L x) 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: L x -> Doc Source #

pprPrec :: Int -> L x -> Doc Source #

pprList :: [L x] -> Doc Source #

Located (L a) 
Instance details

Defined in Data.Loc

Methods

locOf :: L a -> Loc Source #

locOfList :: [L a] -> Loc Source #

Relocatable (L a) 
Instance details

Defined in Data.Loc

Methods

reloc :: Loc -> L a -> L a Source #

data NoInfo (a :: k) Source #

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

Constructors

NoInfo 

Instances

Instances details
Annot (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: NoInfo a -> Maybe a Source #

Functor (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => NoInfo m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> NoInfo a -> a

foldl1 :: (a -> a -> a) -> NoInfo a -> a

toList :: NoInfo a -> [a]

null :: NoInfo a -> Bool

length :: NoInfo a -> Int

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

maximum :: Ord a => NoInfo a -> a

minimum :: Ord a => NoInfo a -> a

sum :: Num a => NoInfo a -> a

product :: Num a => NoInfo a -> a

Traversable (NoInfo :: Type -> Type) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> NoInfo a -> f (NoInfo b) #

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

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

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

Show vn => Show (AppExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase (NoInfo :: Type -> Type) vn -> ShowS

show :: AppExpBase (NoInfo :: Type -> Type) vn -> String

showList :: [AppExpBase (NoInfo :: Type -> Type) vn] -> ShowS

Show vn => Show (CaseBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase (NoInfo :: Type -> Type) vn -> ShowS

show :: CaseBase (NoInfo :: Type -> Type) vn -> String

showList :: [CaseBase (NoInfo :: Type -> Type) vn] -> ShowS

Show (DecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: DecBase (NoInfo :: Type -> Type) Name -> String

showList :: [DecBase (NoInfo :: Type -> Type) Name] -> ShowS

Show vn => Show (DimIndexBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase (NoInfo :: Type -> Type) vn -> ShowS

show :: DimIndexBase (NoInfo :: Type -> Type) vn -> String

showList :: [DimIndexBase (NoInfo :: Type -> Type) vn] -> ShowS

Show vn => Show (ExpBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase (NoInfo :: Type -> Type) vn -> ShowS

show :: ExpBase (NoInfo :: Type -> Type) vn -> String

showList :: [ExpBase (NoInfo :: Type -> Type) vn] -> ShowS

Show vn => Show (FieldBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase (NoInfo :: Type -> Type) vn -> ShowS

show :: FieldBase (NoInfo :: Type -> Type) vn -> String

showList :: [FieldBase (NoInfo :: Type -> Type) vn] -> ShowS

Show vn => Show (LoopFormBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase (NoInfo :: Type -> Type) vn -> ShowS

show :: LoopFormBase (NoInfo :: Type -> Type) vn -> String

showList :: [LoopFormBase (NoInfo :: Type -> Type) vn] -> ShowS

Show vn => Show (LoopInitBase (NoInfo :: Type -> Type) vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase (NoInfo :: Type -> Type) vn -> ShowS

show :: LoopInitBase (NoInfo :: Type -> Type) vn -> String

showList :: [LoopInitBase (NoInfo :: Type -> Type) vn] -> ShowS

Show (ModBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModExpBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModParamBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModParamBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModParamBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeExpBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> NoInfo a -> ShowS

show :: NoInfo a -> String

showList :: [NoInfo a] -> ShowS

Show (ProgBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ProgBase (NoInfo :: Type -> Type) Name -> String

showList :: [ProgBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (SpecBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: SpecBase (NoInfo :: Type -> Type) Name -> String

showList :: [SpecBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (TypeBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (TypeRefBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeRefBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeRefBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ValBindBase (NoInfo :: Type -> Type) Name) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ValBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ValBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Eq (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

Eq (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AppExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Ordering

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

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

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

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

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

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

Ord (CaseBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

Ord (DimIndexBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

Ord (ExpBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

Ord (FieldBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

Ord (LoopFormBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

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

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

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

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

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

Ord (LoopInitBase (NoInfo :: Type -> Type) VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

max :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

min :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

Ord (NoInfo a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: NoInfo a -> NoInfo a -> Ordering

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

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

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

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

max :: NoInfo a -> NoInfo a -> NoInfo a

min :: NoInfo a -> NoInfo a -> NoInfo a

(Show (NoInfo t), Show vn) => Show (PatBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase (NoInfo :: Type -> Type) vn t -> ShowS

show :: PatBase (NoInfo :: Type -> Type) vn t -> String

showList :: [PatBase (NoInfo :: Type -> Type) vn t] -> ShowS

Eq (NoInfo t) => Eq (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (NoInfo t) => Ord (PatBase (NoInfo :: Type -> Type) VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Ordering

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

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

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

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

max :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

min :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

(Show (Info t), Show vn) => Show (IdentBase (NoInfo :: Type -> Type) vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase (NoInfo :: Type -> Type) vn t -> ShowS

show :: IdentBase (NoInfo :: Type -> Type) vn t -> String

showList :: [IdentBase (NoInfo :: Type -> Type) vn t] -> ShowS

newtype Info a Source #

Some information. The dual to NoInfo

Constructors

Info 

Fields

Instances

Instances details
Annot Info Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

unAnnot :: Info a -> Maybe a Source #

ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ParamType -> m ParamType Source #

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable Exp Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Exp -> Exp Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> ParamType -> ParamType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> StructType -> StructType Source #

Functor Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => Info m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Info a -> a

foldl1 :: (a -> a -> a) -> Info a -> a

toList :: Info a -> [a]

null :: Info a -> Bool

length :: Info a -> Int

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

maximum :: Ord a => Info a -> a

minimum :: Ord a => Info a -> a

sum :: Num a => Info a -> a

product :: Num a => Info a -> a

Traversable Info Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> Info a -> f (Info b) #

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

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

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

ASTMappable a => ASTMappable (Info a) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat ParamType -> Pat ParamType Source #

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Pat StructType -> Pat StructType Source #

Show a => Show (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> Info a -> ShowS

show :: Info a -> String

showList :: [Info a] -> ShowS

Eq a => Eq (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord a => Ord (Info a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: Info a -> Info a -> Ordering

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

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

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

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

max :: Info a -> Info a -> Info a

min :: Info a -> Info a -> Info a

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann Source #

prettyList :: [Shape Size] -> Doc ann Source #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann Source #

prettyList :: [TypeArg Size] -> Doc ann Source #

ASTMappable (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> LoopInitBase Info VName -> m (LoopInitBase Info VName) Source #

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> TypeBase Size Uniqueness -> m (TypeBase Size Uniqueness) Source #

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Substitutable (RetTypeBase Size NoUniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size NoUniqueness -> RetTypeBase Size NoUniqueness Source #

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> RetTypeBase Size Uniqueness -> RetTypeBase Size Uniqueness Source #

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> TypeBase Size Uniqueness -> TypeBase Size Uniqueness Source #

Show (AppExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: FieldBase Info VName -> String

showList :: [FieldBase Info VName] -> ShowS

Show (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: LoopFormBase Info VName -> String

showList :: [LoopFormBase Info VName] -> ShowS

Show (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: LoopInitBase Info VName -> String

showList :: [LoopInitBase Info VName] -> ShowS

Show (ModBindBase Info VName) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ModParamBase Info VName -> String

showList :: [ModParamBase Info VName] -> ShowS

Show (ModTypeBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ModTypeBindBase Info VName -> String

showList :: [ModTypeBindBase Info VName] -> ShowS

Show (ModTypeExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ModTypeExpBase Info VName -> String

showList :: [ModTypeExpBase Info VName] -> ShowS

Show (ProgBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ProgBase Info VName -> String

showList :: [ProgBase Info VName] -> ShowS

Show (SpecBase Info VName) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeBindBase Info VName -> String

showList :: [TypeBindBase Info VName] -> ShowS

Show (TypeRefBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: TypeRefBase Info VName -> String

showList :: [TypeRefBase Info VName] -> ShowS

Show (ValBindBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: ValBindBase Info VName -> String

showList :: [ValBindBase Info VName] -> ShowS

Eq (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Eq (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (AppExpBase Info VName) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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 (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase Info VName -> LoopInitBase Info VName -> Ordering

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

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

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

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

max :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName

min :: LoopInitBase Info VName -> LoopInitBase Info VName -> LoopInitBase Info VName

Located (LoopInitBase Info vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: LoopInitBase Info vn -> Loc Source #

locOfList :: [LoopInitBase Info vn] -> Loc Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: PatBase Info VName t -> String

showList :: [PatBase Info VName t] -> ShowS

Eq (Info t) => Eq (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord (Info t) => Ord (PatBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

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

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

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

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

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

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

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

Show (Info t) => Show (IdentBase Info VName t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

show :: IdentBase Info VName t -> String

showList :: [IdentBase Info VName t] -> ShowS

data QualName vn Source #

A name qualified with a breadcrumb of module accesses.

Constructors

QualName 

Fields

Instances

Instances details
Functor QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Foldable QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

fold :: Monoid m => QualName m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> QualName a -> a

foldl1 :: (a -> a -> a) -> QualName a -> a

toList :: QualName a -> [a]

null :: QualName a -> Bool

length :: QualName a -> Int

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

maximum :: Ord a => QualName a -> a

minimum :: Ord a => QualName a -> a

sum :: Num a => QualName a -> a

product :: Num a => QualName a -> a

Traversable QualName Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

traverse :: Applicative f => (a -> f b) -> QualName a -> f (QualName b) #

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

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

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

Show vn => Show (QualName vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> QualName vn -> ShowS

show :: QualName vn -> String

showList :: [QualName vn] -> ShowS

Eq v => Eq (QualName v) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

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

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

Ord v => Ord (QualName v) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: QualName v -> QualName v -> Ordering

(<) :: QualName v -> QualName v -> Bool

(<=) :: QualName v -> QualName v -> Bool

(>) :: QualName v -> QualName v -> Bool

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

max :: QualName v -> QualName v -> QualName v

min :: QualName v -> QualName v -> QualName v

IsName vn => Pretty (QualName vn) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: QualName vn -> Doc ann Source #

prettyList :: [QualName vn] -> Doc ann Source #

mkApply :: ExpBase Info vn -> [(Maybe VName, ExpBase Info vn)] -> AppRes -> ExpBase Info vn Source #

Construct an Apply node, with type information.

mkApplyUT :: ExpBase (NoInfo :: Type -> Type) vn -> ExpBase (NoInfo :: Type -> Type) vn -> ExpBase (NoInfo :: Type -> Type) vn Source #

Construct an Apply node, without type information.

sizeFromName :: QualName VName -> SrcLoc -> Size Source #

Create a Size from a name.

sizeFromInteger :: Integer -> SrcLoc -> Size Source #

Create a Size from a constant integer.

loopInitExp :: LoopInitBase Info VName -> ExpBase Info VName Source #

Retrieve the expression for the initial values of loop parameters.