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

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' → Word64AbsOffset → m ByteString #

hIsOpen ∷ CanSimFS m ⇒ Handle' → m Bool #

hOpen ∷ CanSimFS m ⇒ FsPathOpenMode → m Handle' #

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

hSeek ∷ CanSimFS m ⇒ Handle' → SeekModeInt64 → m () #

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

Operations on directories

createDirectory ∷ CanSimFS m ⇒ FsPath → m () #

createDirectoryIfMissing ∷ CanSimFS m ⇒ BoolFsPath → 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 ⇒ FsPathFsPath → m () #

Exported for the benefit of tests only

opaque

data ClosedHandleState #

Instances

Instances details
Show ClosedHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Generic ClosedHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep ClosedHandleStateTypeType 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

Generic FilePtr 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep FilePtrTypeType Source #

Methods

fromFilePtrRep FilePtr x Source #

toRep 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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :+: C1 ('MetaCons "Append" 'PrefixI 'False) (U1TypeType))

data HandleState #

Instances

Instances details
Show HandleState 
Instance details

Defined in System.FS.Sim.MockFS

Generic HandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep HandleStateTypeType 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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenHandleState)) :+: C1 ('MetaCons "HandleClosed" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ClosedHandleState)))

data OpenHandleState #

Instances

Instances details
Show OpenHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Generic OpenHandleState 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep OpenHandleStateTypeType 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

Eq HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Ord HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Show HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Generic HandleMock 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep HandleMockTypeType 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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data MockFS #

Instances

Instances details
Show MockFS 
Instance details

Defined in System.FS.Sim.MockFS

Generic MockFS 
Instance details

Defined in System.FS.Sim.MockFS

Associated Types

type Rep MockFSTypeType Source #

Methods

fromMockFSRep MockFS x Source #

toRep MockFS x → MockFS Source #

MonadState MockFS PureSimFS 
Instance details

Defined in System.FS.Sim.Pure

Methods

getPureSimFS MockFS Source #

putMockFSPureSimFS () 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))))