sixty-five-oh-two-1.2.0.0: An eDSL for writing 65(C)02 bytecode.

Safe HaskellSafe
LanguageHaskell2010

DSL.SixtyFiveOhTwo.Types

Documentation

data AddressingKind Source #

Constructors

ImpliedKind 
AccumulatorKind 
ImmediateKind 
RelativeKind 
ZeroPageRelativeKind 
AbsoluteKind 
AbsoluteXKind 
AbsoluteYKind 
ZeroPageKind 
ZeroPageXKind 
ZeroPageYKind 
ZeroPageIndirectKind 
IndirectKind 
IndirectXKind 
IndirectYKind 

data AddressingMode (k :: AddressingKind) where Source #

Constructors

Implied :: AddressingMode ImpliedKind 
Accumulator :: AddressingMode AccumulatorKind 
Immediate :: Word8 -> AddressingMode ImmediateKind 
Relative :: Int8 -> AddressingMode RelativeKind 
ZeroPageRelative :: Int8 -> AddressingMode ZeroPageRelativeKind 
Absolute :: Word16 -> AddressingMode AbsoluteKind 
AbsoluteX :: Word16 -> AddressingMode AbsoluteXKind 
AbsoluteY :: Word16 -> AddressingMode AbsoluteYKind 
ZeroPage :: Word8 -> AddressingMode ZeroPageKind 
ZeroPageX :: Word8 -> AddressingMode ZeroPageXKind 
ZeroPageY :: Word8 -> AddressingMode ZeroPageYKind 
ZeroPageIndirect :: Word8 -> AddressingMode ZeroPageIndirectKind 
Indirect :: Word16 -> AddressingMode IndirectKind 
IndirectX :: Word8 -> AddressingMode IndirectXKind 
IndirectY :: Word8 -> AddressingMode IndirectYKind 

type family IsElem (e :: k) (es :: [k]) where ... Source #

Equations

IsElem e '[] = False 
IsElem e (e ': es) = True 
IsElem e (x ': es) = IsElem e es