Synthesizer.LLVM.ConstantPiece

Data type that allows handling of piecewise constant signals independently from the source.

Documentation

data T a

Constructors

Cons (Value Word) a

Instances

Functor T

Defined in Synthesizer.LLVM.ConstantPiece

Methods

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

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

C a => C (T a)

Defined in Synthesizer.LLVM.ConstantPiece

Associated Types

type Struct (T a) :: Type

Methods

load :: Value (Ptr (Struct (T a))) -> CodeGenFunction r (T a)

store :: T a -> Value (Ptr (Struct (T a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a)) -> CodeGenFunction r (T a)

compose :: T a -> CodeGenFunction r (Value (Struct (T a)))

Phi a => Phi (T a)

Defined in Synthesizer.LLVM.ConstantPiece

Methods

phi :: BasicBlock -> T a -> CodeGenFunction r (T a)

addPhi :: BasicBlock -> T a -> T a -> CodeGenFunction r ()

Undefined a => Undefined (T a)

Defined in Synthesizer.LLVM.ConstantPiece

Methods

undef :: T a

Zero a => Zero (T a)

Defined in Synthesizer.LLVM.ConstantPiece

Methods

zero :: T a

type Struct (T a)

Defined in Synthesizer.LLVM.ConstantPiece

type Struct (T a) = Struct (Struct a)

type Struct a = Struct (Word, (a, ()))

parameterMemory :: C a => Record r (Struct (Struct a)) (T a)

flatten :: C a => T (T a) -> T a

causalMap :: (Aggregate a am, Aggregate b bm) => (a -> b) -> T (T am) (T bm)