Safe Haskell	None
Language	Haskell98

Synthesizer.LLVM.ConstantPiece

Description

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

Documentation

data T a Source #

Constructors

Cons (Value Word) a

Instances

Functor T Source #
Instance details Defined in Synthesizer.LLVM.ConstantPiece Methods fmap :: (a -> b) -> T a -> T b # (<$) :: a -> T b -> T a #
C a => C (T a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Synthesizer.LLVM.ConstantPiece Methods undef :: T a
Zero a => Zero (T a) Source #
Instance details Defined in Synthesizer.LLVM.ConstantPiece Methods zero :: T a
type Struct (T a) Source #
Instance details Defined in Synthesizer.LLVM.ConstantPiece type Struct (T a) = Struct (Struct a)

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

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

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

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