Dahdit.Run

Documentation

data GetError

Constructors

GetErrorParseNeed !String !ByteCount !ByteCount

GetErrorScopedMismatch !ByteCount !ByteCount

GetErrorFail !String

Instances

Exception GetError

Defined in Dahdit.Run

Methods

toException :: GetError -> SomeException

fromException :: SomeException -> Maybe GetError

displayException :: GetError -> String

Show GetError

Defined in Dahdit.Run

Methods

showsPrec :: Int -> GetError -> ShowS

show :: GetError -> String

showList :: [GetError] -> ShowS

Eq GetError

Defined in Dahdit.Run

Methods

(==) :: GetError -> GetError -> Bool

(/=) :: GetError -> GetError -> Bool

prettyGetError :: GetError -> String

runGetInternal :: ReadMem r => ByteCount -> Get a -> ByteCount -> r -> (Either GetError a, ByteCount)

runCount :: Put -> ByteCount

runPutInternal :: WriteMem q => Put -> ByteCount -> (forall s. ByteCount -> ST s (q s)) -> (forall s. q s -> ByteCount -> ByteCount -> ST s z) -> z