Mem8.hs

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies #-}
import Data.Word

data family Address arch
type family InterpreterState arch
type family State arch :: (* -> *) -> *

data instance Address Int = AddressInt Int
data instance Address Char = AddressChar Word8 Word8 Word8 Word8

class Mem8 arch where
  store :: Address arch -> f Word8 -> State arch f -> State arch f
  load :: Address arch -> State arch f -> Maybe (f Word8)

localhost = AddressChar 127 0 0 1
localhost' = AddressInt 0xff000001