Safe Haskell	None
Language	Haskell2010

Cardano.Api.IO

Synopsis

readByteStringFile :: MonadIO m => File content 'In -> m (Either (FileError e) ByteString)
readLazyByteStringFile :: MonadIO m => File content 'In -> m (Either (FileError e) ByteString)
readTextFile :: MonadIO m => File content 'In -> m (Either (FileError e) Text)
writeByteStringFileWithOwnerPermissions :: FilePath -> ByteString -> IO (Either (FileError e) ())
writeByteStringFile :: MonadIO m => File content 'Out -> ByteString -> m (Either (FileError e) ())
writeByteStringOutput :: MonadIO m => Maybe (File content 'Out) -> ByteString -> m (Either (FileError e) ())
writeLazyByteStringFileWithOwnerPermissions :: File content 'Out -> ByteString -> IO (Either (FileError e) ())
writeLazyByteStringFile :: MonadIO m => File content 'Out -> ByteString -> m (Either (FileError e) ())
writeLazyByteStringOutput :: MonadIO m => Maybe (File content 'Out) -> ByteString -> m (Either (FileError e) ())
writeTextFileWithOwnerPermissions :: File content 'Out -> Text -> IO (Either (FileError e) ())
writeTextFile :: MonadIO m => File content 'Out -> Text -> m (Either (FileError e) ())
writeTextOutput :: MonadIO m => Maybe (File content 'Out) -> Text -> m (Either (FileError e) ())
newtype File content (direction :: FileDirection) = File {
- unFile :: FilePath
}
data FileDirection
- = In
- | Out
- | InOut
type SocketPath = File Socket 'InOut
mapFile :: forall content (direction :: FileDirection). (FilePath -> FilePath) -> File content direction -> File content direction
onlyIn :: File content 'InOut -> File content 'In
onlyOut :: File content 'InOut -> File content 'Out
intoFile :: File content 'Out -> content -> (File content 'Out -> stream -> result) -> (content -> stream) -> result
checkVrfFilePermissions :: forall content (direction :: FileDirection). File content direction -> ExceptT VRFPrivateKeyFilePermissionError IO ()
writeSecrets :: FilePath -> [Char] -> [Char] -> (a -> ByteString) -> [a] -> IO ()

Documentation

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

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

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

writeByteStringFileWithOwnerPermissions :: FilePath -> ByteString -> IO (Either (FileError e) ()) Source #

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

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

writeLazyByteStringFileWithOwnerPermissions :: File content 'Out -> ByteString -> IO (Either (FileError e) ()) Source #

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

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

writeTextFileWithOwnerPermissions :: File content 'Out -> Text -> IO (Either (FileError e) ()) Source #

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

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

newtype File content (direction :: FileDirection) Source #

A file path with additional type information to indicate what the file is meant to contain and whether it is to be used for reading or writing.

Constructors

File
Fields unFile :: FilePath

Instances

Instances details

FromJSON (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods parseJSON :: Value -> Parser (File content direction) # parseJSONList :: Value -> Parser [File content direction] # omittedField :: Maybe (File content direction) #
ToJSON (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods toJSON :: File content direction -> Value # toEncoding :: File content direction -> Encoding # toJSONList :: [File content direction] -> Value # toEncodingList :: [File content direction] -> Encoding # omitField :: File content direction -> Bool #
IsString (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods fromString :: String -> File content direction Source #
Read (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods readsPrec :: Int -> ReadS (File content direction) Source # readList :: ReadS [File content direction] Source # readPrec :: ReadPrec (File content direction) Source # readListPrec :: ReadPrec [File content direction] Source #
Show (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods showsPrec :: Int -> File content direction -> ShowS Source # show :: File content direction -> String Source # showList :: [File content direction] -> ShowS Source #
Eq (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods (==) :: File content direction -> File content direction -> Bool Source # (/=) :: File content direction -> File content direction -> Bool Source #
Ord (File content direction) Source #
Instance details Defined in Cardano.Api.IO.Base Methods compare :: File content direction -> File content direction -> Ordering Source # (<) :: File content direction -> File content direction -> Bool Source # (<=) :: File content direction -> File content direction -> Bool Source # (>) :: File content direction -> File content direction -> Bool Source # (>=) :: File content direction -> File content direction -> Bool Source # max :: File content direction -> File content direction -> File content direction Source # min :: File content direction -> File content direction -> File content direction Source #

data FileDirection Source #

Constructors

In	Indicate the file is to be used for reading.
Out	Indicate the file is to be used for writing.
InOut	Indicate the file is to be used for both reading and writing.

type SocketPath = File Socket 'InOut Source #

mapFile :: forall content (direction :: FileDirection). (FilePath -> FilePath) -> File content direction -> File content direction Source #

onlyIn :: File content 'InOut -> File content 'In Source #

onlyOut :: File content 'InOut -> File content 'Out Source #

intoFile :: File content 'Out -> content -> (File content 'Out -> stream -> result) -> (content -> stream) -> result Source #

Given a way to serialise a value and a way to write the stream to a file, serialise a value into a stream, and write it to a file.

Whilst it is possible to call the serialisation and writing functions separately, doing so means the compiler is unable to match the content type of the file with the type of the content being serialised.

Using this function ensures that the content type of the file always matches with the content value and prevents any type mismatches.

checkVrfFilePermissions :: forall content (direction :: FileDirection). File content direction -> ExceptT VRFPrivateKeyFilePermissionError IO () Source #

writeSecrets :: FilePath -> [Char] -> [Char] -> (a -> ByteString) -> [a] -> IO () Source #