Asm.BB

Documentation

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

Constructors

BB

Fields

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

Instances

Copointed (BB arch reg freg f2reg a)

Defined in Asm.BB

Methods

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

Functor (BB arch reg freg f2reg a)

Defined in Asm.BB

Methods

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

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