ouroboros-consensus-test-0.3.1.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.Util.FS.Sim.MockFS

Description

Deprecated: Use System.FS.Sim.MockFS from fs-sim

Synopsis

Documentation

empty ∷ MockFS #

example ∷ MockFS #

handleIsOpen ∷ MockFS → HandleMock → Bool #

numOpenHandles ∷ MockFS → Int #

pretty ∷ MockFS → String #

Debugging

dumpState ∷ CanSimFS m ⇒ m String #

Operations on files

hClose ∷ CanSimFS m ⇒ Handle' → m () #

hGetSize ∷ CanSimFS m ⇒ Handle' → m Word64 #

hGetSome ∷ CanSimFS m ⇒ Handle' → Word64 → m ByteString #

hGetSomeAt ∷ CanSimFS m ⇒ Handle' → Word64 → AbsOffset → m ByteString #

hIsOpen ∷ CanSimFS m ⇒ Handle' → m Bool #

hOpen ∷ CanSimFS m ⇒ FsPath → OpenMode → m Handle' #

hPutSome ∷ CanSimFS m ⇒ Handle' → ByteString → m Word64 #

hSeek ∷ CanSimFS m ⇒ Handle' → SeekMode → Int64 → m () #

hTruncate ∷ CanSimFS m ⇒ Handle' → Word64 → m () #

Operations on directories

createDirectory ∷ CanSimFS m ⇒ FsPath → m () #

createDirectoryIfMissing ∷ CanSimFS m ⇒ Bool → FsPath → m () #

doesDirectoryExist ∷ CanSimFS m ⇒ FsPath → m Bool #

doesFileExist ∷ CanSimFS m ⇒ FsPath → m Bool #

listDirectory ∷ CanSimFS m ⇒ FsPath → m (Set String) #

removeFile ∷ CanSimFS m ⇒ FsPath → m () #

renameFile ∷ CanSimFS m ⇒ FsPath → FsPath → m () #

Exported for the benefit of tests only

type Files = FsTree ByteString #

mockFiles ∷ MockFS → Files #

opaque

data ClosedHandleState #

Instances

Instances details
Show ClosedHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → ClosedHandleState → ShowS Source #

show ∷ ClosedHandleState → String Source #

showList ∷ [ClosedHandleState] → ShowS Source #

Generic ClosedHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep ClosedHandleState ∷ Type → Type Source #

Methods

from ∷ ClosedHandleState → Rep ClosedHandleState x Source #

to ∷ Rep ClosedHandleState x → ClosedHandleState Source #

type Rep ClosedHandleState 
Instance details

Defined in System.FS.Sim.MockFS

type Rep ClosedHandleState = D1 ('MetaData "ClosedHandleState" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'False) (C1 ('MetaCons "ClosedHandle" 'PrefixI 'True) (S1 ('MetaSel ('Just "closedFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FsPath)))

data FilePtr #

Instances

Instances details
Show FilePtr 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → FilePtr → ShowS Source #

show ∷ FilePtr → String Source #

showList ∷ [FilePtr] → ShowS Source #

Generic FilePtr 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep FilePtr ∷ Type → Type Source #

Methods

from ∷ FilePtr → Rep FilePtr x Source #

to ∷ Rep FilePtr x → FilePtr Source #

type Rep FilePtr 
Instance details

Defined in System.FS.Sim.MockFS

type Rep FilePtr = D1 ('MetaData "FilePtr" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'False) (C1 ('MetaCons "RW" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :+: C1 ('MetaCons "Append" 'PrefixI 'False) (U1 ∷ Type → Type))

data HandleState #

Instances

Instances details
Show HandleState 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → HandleState → ShowS Source #

show ∷ HandleState → String Source #

showList ∷ [HandleState] → ShowS Source #

Generic HandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep HandleState ∷ Type → Type Source #

Methods

from ∷ HandleState → Rep HandleState x Source #

to ∷ Rep HandleState x → HandleState Source #

type Rep HandleState 
Instance details

Defined in System.FS.Sim.MockFS

type Rep HandleState = D1 ('MetaData "HandleState" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'False) (C1 ('MetaCons "HandleOpen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenHandleState)) :+: C1 ('MetaCons "HandleClosed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ClosedHandleState)))

data OpenHandleState #

Instances

Instances details
Show OpenHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → OpenHandleState → ShowS Source #

show ∷ OpenHandleState → String Source #

showList ∷ [OpenHandleState] → ShowS Source #

Generic OpenHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep OpenHandleState ∷ Type → Type Source #

Methods

from ∷ OpenHandleState → Rep OpenHandleState x Source #

to ∷ Rep OpenHandleState x → OpenHandleState Source #

type Rep OpenHandleState 
Instance details

Defined in System.FS.Sim.MockFS

type Rep OpenHandleState = D1 ('MetaData "OpenHandleState" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'False) (C1 ('MetaCons "OpenHandle" 'PrefixI 'True) (S1 ('MetaSel ('Just "openFilePath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FsPath) :*: S1 ('MetaSel ('Just "openPtr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePtr)))

opaque

data HandleMock #

Instances

Instances details
Enum HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Methods

succ ∷ HandleMock → HandleMock Source #

pred ∷ HandleMock → HandleMock Source #

toEnum ∷ Int → HandleMock Source #

fromEnum ∷ HandleMock → Int Source #

enumFrom ∷ HandleMock → [HandleMock] Source #

enumFromThen ∷ HandleMock → HandleMock → [HandleMock] Source #

enumFromTo ∷ HandleMock → HandleMock → [HandleMock] Source #

enumFromThenTo ∷ HandleMock → HandleMock → HandleMock → [HandleMock] Source #

Eq HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Methods

(==) ∷ HandleMock → HandleMock → Bool Source #

(/=) ∷ HandleMock → HandleMock → Bool Source #

Ord HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Methods

compare ∷ HandleMock → HandleMock → Ordering Source #

(<) ∷ HandleMock → HandleMock → Bool Source #

(<=) ∷ HandleMock → HandleMock → Bool Source #

(>) ∷ HandleMock → HandleMock → Bool Source #

(>=) ∷ HandleMock → HandleMock → Bool Source #

max ∷ HandleMock → HandleMock → HandleMock Source #

min ∷ HandleMock → HandleMock → HandleMock Source #

Show HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → HandleMock → ShowS Source #

show ∷ HandleMock → String Source #

showList ∷ [HandleMock] → ShowS Source #

Generic HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep HandleMock ∷ Type → Type Source #

Methods

from ∷ HandleMock → Rep HandleMock x Source #

to ∷ Rep HandleMock x → HandleMock Source #

type Rep HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

type Rep HandleMock = D1 ('MetaData "HandleMock" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'True) (C1 ('MetaCons "HandleMock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data MockFS #

Instances

Instances details
Show MockFS 
Instance details

Defined in System.FS.Sim.MockFS

Methods

showsPrec ∷ Int → MockFS → ShowS Source #

show ∷ MockFS → String Source #

showList ∷ [MockFS] → ShowS Source #

Generic MockFS 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep MockFS ∷ Type → Type Source #

Methods

from ∷ MockFS → Rep MockFS x Source #

to ∷ Rep MockFS x → MockFS Source #

MonadState MockFS PureSimFS 
Instance details

Defined in System.FS.Sim.Pure

Methods

get ∷ PureSimFS MockFS Source #

put ∷ MockFS → PureSimFS () Source #

state ∷ (MockFS → (a, MockFS)) → PureSimFS a Source #

type Rep MockFS 
Instance details

Defined in System.FS.Sim.MockFS

type Rep MockFS = D1 ('MetaData "MockFS" "System.FS.Sim.MockFS" "fs-sim-0.1.0.0-debb182ab53d57e203026b8bf170dd3926a2811a47f380db140c12b7049a70fb" 'False) (C1 ('MetaCons "MockFS" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockFiles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Files) :*: (S1 ('MetaSel ('Just "mockHandles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map HandleMock HandleState)) :*: S1 ('MetaSel ('Just "mockNextHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 HandleMock))))