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)

Defined in Asm.Aarch64

Methods

copoint :: AArch64 reg freg a -> a

Copointed (X86 reg freg)

Defined in Asm.X86

Methods

copoint :: X86 reg freg a -> a

Copointed (BB arch reg freg a)

Defined in Asm.BB

Methods

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