DSL.SixtyFiveOhTwo

Documentation

data InstructionState

Constructors

InstructionState

Fields

• _functionTable :: Map String Int
• _bytestring :: ByteString

Instances

Show InstructionState

Methods

showsPrec :: Int -> InstructionState -> ShowS

show :: InstructionState -> String

showList :: [InstructionState] -> ShowS

functionTable :: Lens' InstructionState (Map String Int)

bytestring :: Lens' InstructionState ByteString

emptyState :: InstructionState

type Instruction = State InstructionState ()

runInstructions :: Instruction -> ByteString

splitW16 :: Word16 -> (Word8, Word8)

appendBytes :: [Word8] -> InstructionState -> InstructionState

appendBytesThenWord :: [Word8] -> Word16 -> InstructionState -> InstructionState

genericNoByteOp :: Word8 -> Instruction

genericOp :: (FiniteBits a, Integral a) => Word8 -> a -> Instruction

genericTwoByteOp :: Word8 -> Word16 -> Instruction

define :: String -> Instruction -> Instruction

call :: String -> Instruction

adc :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

and :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

asl :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

bbr0 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr1 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr2 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr3 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr4 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr5 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr6 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbr7 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs0 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs1 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs2 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs3 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs4 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs5 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs6 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bbs7 :: IsElem a '[ZeroPageRelativeKind] ~ True => AddressingMode a -> Instruction

bcc :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bcs :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

beq :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bit :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

bmi :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bne :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bpl :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bra :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

brk :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

bvc :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

bvs :: IsElem a '[RelativeKind] ~ True => AddressingMode a -> Instruction

clc :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

cld :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

cli :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

clv :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

cmp :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

cpx :: IsElem a '[ImmediateKind, ZeroPageKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

cpy :: IsElem a '[ImmediateKind, ZeroPageKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

dec :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

dex :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

dey :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

eor :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

inc :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

inx :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

iny :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

jmp :: IsElem a '[AbsoluteKind, IndirectKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

jsr :: IsElem a '[AbsoluteKind] ~ True => AddressingMode a -> Instruction

lda :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

ldx :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageYKind, AbsoluteKind, AbsoluteYKind] ~ True => AddressingMode a -> Instruction

ldy :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

lsr :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

nop :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

ora :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

pha :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

php :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

phx :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

phy :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

pla :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

plp :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

plx :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

ply :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

rmb0 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb1 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb2 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb3 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb4 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb5 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb6 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rmb7 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

rol :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

ror :: IsElem a '[AccumulatorKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

rti :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

rts :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

sbc :: IsElem a '[ImmediateKind, ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

sec :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

sed :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

sei :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

smb0 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb1 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb2 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb3 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb4 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb5 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb6 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

smb7 :: IsElem a '[ZeroPageKind] ~ True => AddressingMode a -> Instruction

sta :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind, AbsoluteYKind, ZeroPageIndirectKind, IndirectXKind, IndirectYKind] ~ True => AddressingMode a -> Instruction

stp :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

stx :: IsElem a '[ZeroPageKind, ZeroPageYKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

sty :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

stz :: IsElem a '[ZeroPageKind, ZeroPageXKind, AbsoluteKind, AbsoluteXKind] ~ True => AddressingMode a -> Instruction

tax :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

tay :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

trb :: IsElem a '[ZeroPageKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

tsb :: IsElem a '[ZeroPageKind, AbsoluteKind] ~ True => AddressingMode a -> Instruction

tsx :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

txa :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

txs :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

tya :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

wai :: IsElem a '[ImpliedKind] ~ True => AddressingMode a -> Instruction

module DSL.SixtyFiveOhTwo.Types