Futhark.Representation.Seq

A sequential representation.

The Lore definition

data Seq

Instances

Annotations Seq

Defined in Futhark.Representation.Seq

Associated Types

type LetAttr Seq

type ExpAttr Seq

type BodyAttr Seq

type FParamAttr Seq

type LParamAttr Seq

type RetType Seq

type BranchType Seq

type Op Seq

PrettyLore Seq

Defined in Futhark.Representation.Seq

Methods

ppExpLore :: ExpAttr Seq -> Exp Seq -> Maybe Doc

Attributes Seq

Defined in Futhark.Representation.Seq

Methods

expTypesFromPattern :: (HasScope Seq m, Monad m) => Pattern Seq -> m [BranchType Seq]

Bindable Seq

Defined in Futhark.Representation.Seq

Methods

mkExpPat :: [Ident] -> [Ident] -> Exp Seq -> Pattern Seq

mkExpAttr :: Pattern Seq -> Exp Seq -> ExpAttr Seq

mkBody :: Stms Seq -> Result -> Body Seq

mkLetNames :: (MonadFreshNames m, HasScope Seq m) => [VName] -> Exp Seq -> m (Stm Seq)

BinderOps Seq

Defined in Futhark.Representation.Seq

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Seq) => Pattern Seq -> Exp Seq -> m (ExpAttr Seq)

mkBodyB :: (MonadBinder m, Lore m ~ Seq) => Stms Seq -> Result -> m (Body Seq)

mkLetNamesB :: (MonadBinder m, Lore m ~ Seq) => [VName] -> Exp Seq -> m (Stm Seq)

Checkable Seq

Defined in Futhark.Representation.Seq

Methods

checkExpLore :: ExpAttr Seq -> TypeM Seq ()

checkBodyLore :: BodyAttr Seq -> TypeM Seq ()

checkFParamLore :: VName -> FParamAttr Seq -> TypeM Seq ()

checkLParamLore :: VName -> LParamAttr Seq -> TypeM Seq ()

checkLetBoundLore :: VName -> LetAttr Seq -> TypeM Seq ()

checkRetType :: [RetType Seq] -> TypeM Seq ()

matchPattern :: Pattern (Aliases Seq) -> Exp (Aliases Seq) -> TypeM Seq ()

primFParam :: VName -> PrimType -> TypeM Seq (FParam (Aliases Seq))

matchReturnType :: [RetType Seq] -> Result -> TypeM Seq ()

matchBranchType :: [BranchType Seq] -> Body (Aliases Seq) -> TypeM Seq ()

CheckableOp Seq

Defined in Futhark.Representation.Seq

Methods

checkOp :: OpWithAliases (Op Seq) -> TypeM Seq ()

BinderOps (Wise Seq)

Defined in Futhark.Representation.Seq

Methods

mkExpAttrB :: (MonadBinder m, Lore m ~ Wise Seq) => Pattern (Wise Seq) -> Exp (Wise Seq) -> m (ExpAttr (Wise Seq))

mkBodyB :: (MonadBinder m, Lore m ~ Wise Seq) => Stms (Wise Seq) -> Result -> m (Body (Wise Seq))

mkLetNamesB :: (MonadBinder m, Lore m ~ Wise Seq) => [VName] -> Exp (Wise Seq) -> m (Stm (Wise Seq))

type LetAttr Seq

Defined in Futhark.Representation.Seq

type LetAttr Seq = Type

type ExpAttr Seq

Defined in Futhark.Representation.Seq

type ExpAttr Seq = ()

type BodyAttr Seq

Defined in Futhark.Representation.Seq

type BodyAttr Seq = ()

type FParamAttr Seq

Defined in Futhark.Representation.Seq

type FParamAttr Seq = DeclType

type LParamAttr Seq

Defined in Futhark.Representation.Seq

type LParamAttr Seq = Type

type RetType Seq

Defined in Futhark.Representation.Seq

type RetType Seq = DeclExtType

type BranchType Seq

Defined in Futhark.Representation.Seq

type BranchType Seq = ExtType

type Op Seq

Defined in Futhark.Representation.Seq

type Op Seq = ()

Simplification

simplifyProg :: Prog Seq -> PassM (Prog Seq)

Module re-exports

module Futhark.Representation.AST.Attributes

module Futhark.Representation.AST.Traversals

module Futhark.Representation.AST.Pretty

module Futhark.Representation.AST.Syntax