Asm.BB

Documentation

data BB (arch :: Type -> Type -> Type -> Type) reg freg a b

Constructors

BB

Fields

• unBB :: [arch reg freg a]
• caBB :: b

Instances

Copointed (BB arch reg freg a)

Defined in Asm.BB

Methods

copoint :: BB arch reg freg a a0 -> a0

Functor (BB arch reg freg a)

Defined in Asm.BB

Methods

fmap :: (a0 -> b) -> BB arch reg freg a a0 -> BB arch reg freg a b

(<$) :: a0 -> BB arch reg freg a b -> BB arch reg freg a a0