Data.Copointed

Documentation

class Functor p => Copointed (p :: Type -> Type) where

Methods

copoint :: p a -> a

Instances

Copointed CS

Defined in C

Methods

copoint :: CS a -> a

Copointed ((,) a)

Defined in Data.Copointed

Methods

copoint :: (a, a0) -> a0

Copointed (AArch64 reg freg f2)

Defined in Asm.Aarch64

Methods

copoint :: AArch64 reg freg f2 a -> a

Copointed (X86 reg freg f2reg)

Defined in Asm.X86

Methods

copoint :: X86 reg freg f2reg a -> a

Copointed (BB arch reg freg f2reg a)

Defined in Asm.BB

Methods

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