Futhark.IR.Seq

A sequential representation.

The Lore definition

data Seq

The phantom type for the Seq representation.

Instances

Decorations Seq

Defined in Futhark.IR.Seq

Associated Types

type LetDec Seq

type ExpDec Seq

type BodyDec Seq

type FParamInfo Seq

type LParamInfo Seq

type RetType Seq

type BranchType Seq

type Op Seq

PrettyLore Seq

Defined in Futhark.IR.Seq

Methods

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

ASTLore Seq

Defined in Futhark.IR.Seq

Methods

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

Bindable Seq

Defined in Futhark.IR.Seq

Methods

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

mkExpDec :: Pattern Seq -> Exp Seq -> ExpDec Seq

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

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

BinderOps Seq

Defined in Futhark.IR.Seq

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Seq) => Pattern Seq -> Exp Seq -> m (ExpDec 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.IR.Seq

Methods

checkExpLore :: ExpDec Seq -> TypeM Seq ()

checkBodyLore :: BodyDec Seq -> TypeM Seq ()

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

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

checkLetBoundLore :: VName -> LetDec 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 ()

matchLoopResult :: [FParam (Aliases Seq)] -> [FParam (Aliases Seq)] -> [SubExp] -> TypeM Seq ()

CheckableOp Seq

Defined in Futhark.IR.Seq

Methods

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

BinderOps (Wise Seq)

Defined in Futhark.IR.Seq

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise Seq) => Pattern (Wise Seq) -> Exp (Wise Seq) -> m (ExpDec (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 LetDec Seq

Defined in Futhark.IR.Seq

type LetDec Seq = Type

type ExpDec Seq

Defined in Futhark.IR.Seq

type ExpDec Seq = ()

type BodyDec Seq

Defined in Futhark.IR.Seq

type BodyDec Seq = ()

type FParamInfo Seq

Defined in Futhark.IR.Seq

type FParamInfo Seq = DeclType

type LParamInfo Seq

Defined in Futhark.IR.Seq

type LParamInfo Seq = Type

type RetType Seq

Defined in Futhark.IR.Seq

type RetType Seq = DeclExtType

type BranchType Seq

Defined in Futhark.IR.Seq

type BranchType Seq = ExtType

type Op Seq

Defined in Futhark.IR.Seq

type Op Seq = ()

Simplification

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

Simplify a sequential program.

Module re-exports

module Futhark.IR.Prop

module Futhark.IR.Traversals

module Futhark.IR.Pretty

module Futhark.IR.Syntax