GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity

added a few more exports to Memory.hs

Browse Source
This commit is contained in:
Ben Selfridge 2017-06-27 11:22:26 -07:00
parent 2993d721a2
commit d8ff07b6c2
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Data/Macaw/Memory.hs
View File

@ -3,7 +3,7 @@ Copyright : (c) Galois Inc, 2015-2016
Maintainer : jhendrix@galois.com Maintainer : jhendrix@galois.com
Declares 'Memory', a type for representing segmented memory with permissions. Declares 'Memory', a type for representing segmented memory with permissions.
-} n-}
{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-} {-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-} {-# LANGUAGE GADTs #-}
@ -63,6 +63,13 @@ module Data.Macaw.Memory
, addrContentsAfter , addrContentsAfter
, addrBase , addrBase
, addrValue , addrValue
, bsWord8
, bsWord16be
, bsWord16le
, bsWord32be
, bsWord32le
, bsWord64be
, bsWord64le
, readByteString , readByteString
, readWord8 , readWord8
, readWord16be , readWord16be