Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Modulecardano-api-11.7.0.0

Cardano.Api.IO

Synopsis

value intoFile
value mapFile
value onlyIn
value onlyOut
value readByteStringFile
value readFileBlocking
value readLazyByteStringFile
value readTextFile
value writeByteStringFile
value writeByteStringFileWithOwnerPermissions
value writeByteStringOutput
value writeLazyByteStringFile
value writeLazyByteStringFileWithOwnerPermissions
value writeLazyByteStringOutput
value writeTextFile
value writeTextFileWithOwnerPermissions
value writeTextOutput
value checkVrfFilePermissions
value writeSecrets
newtype File
data FileDirection
type SocketPath

Packagecardano-api-11.7.0.0
Exports22
LicenceApache-2.0

valueintoFile

:: File content 'Out
-> content
-> File content 'Out -> stream -> result
-> content -> stream
-> result

valuemapFile

:: FilePath -> FilePath
-> File content direction
-> File content direction

valueonlyIn :: File content 'InOut -> File content 'In

valueonlyOut :: File content 'InOut -> File content 'Out

valuereadByteStringFile

:: MonadIO m
=> File content 'In
-> m (Either (FileError e) ByteString)

valuereadFileBlocking :: FilePath -> IO ByteString

valuereadLazyByteStringFile

:: MonadIO m
=> File content 'In
-> m (Either (FileError e) ByteString)

valuereadTextFile

:: MonadIO m
=> File content 'In
-> m (Either (FileError e) Text)

valuewriteByteStringFile

:: MonadIO m
=> File content 'Out
-> ByteString
-> m (Either (FileError e) ())

valuewriteByteStringFileWithOwnerPermissions

:: MonadIO m
=> FilePath
-> ByteString
-> m (Either (FileError e) ())

valuewriteByteStringOutput

:: MonadIO m
=> Maybe (File content 'Out)
-> ByteString
-> m (Either (FileError e) ())

valuewriteLazyByteStringFile

:: MonadIO m
=> File content 'Out
-> ByteString
-> m (Either (FileError e) ())

valuewriteLazyByteStringFileWithOwnerPermissions

:: MonadIO m
=> File content 'Out
-> ByteString
-> m (Either (FileError e) ())

valuewriteLazyByteStringOutput

:: MonadIO m
=> Maybe (File content 'Out)
-> ByteString
-> m (Either (FileError e) ())

valuewriteTextFile

:: MonadIO m
=> File content 'Out
-> Text
-> m (Either (FileError e) ())

valuewriteTextFileWithOwnerPermissions

:: MonadIO m
=> File content 'Out
-> Text
-> m (Either (FileError e) ())

valuewriteTextOutput

:: MonadIO m
=> Maybe (File content 'Out)
-> Text
-> m (Either (FileError e) ())

valuecheckVrfFilePermissions

:: File content direction
-> ExceptT VRFPrivateKeyFilePermissionError IO ()

valuewriteSecrets

:: (HasCallStack, MonadIO m)
=> FilePath
-> [Char]
-> [Char]
-> a -> ByteString
-> [a]
-> m ()

newtypenewtype File content (direction :: FileDirection)

Constructors

File
- unFile :: FilePath

Instances7Eq, Ord, Read, Show, IsString, FromJSON, …

Eq (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
Ord (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
Read (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
Show (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
IsString (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
FromJSON (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base
ToJSON (File content direction)Defined in cardano-api-11.7.0.0 · Cardano.Api.IO.Internal.Base

datadata FileDirection

typetype SocketPath = File Socket 'InOut