Predicate.Data.IO

promoted io functions

file handling

data ReadFile p

similar to readFile

>>> pz @(ReadFile "LICENSE" >> 'Just Id >> Len > 0) ()
Val True

>>> pz @(FileExists "xyzzy") ()
Val False

Instances

(PP p x ~ String, P p x) => P (ReadFile p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (ReadFile p) x

Methods

eval :: MonadEval m => proxy (ReadFile p) -> POpts -> x -> m (TT (PP (ReadFile p) x))

Show (ReadFile p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> ReadFile p -> ShowS

show :: ReadFile p -> String

showList :: [ReadFile p] -> ShowS

type PP (ReadFile p :: Type) x

Defined in Predicate.Data.IO

type PP (ReadFile p :: Type) x = Maybe String

data ReadFileBinary p

similar to readFile

Instances

(PP p x ~ String, P p x) => P (ReadFileBinary p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (ReadFileBinary p) x

Methods

eval :: MonadEval m => proxy (ReadFileBinary p) -> POpts -> x -> m (TT (PP (ReadFileBinary p) x))

Show (ReadFileBinary p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> ReadFileBinary p -> ShowS

show :: ReadFileBinary p -> String

showList :: [ReadFileBinary p] -> ShowS

type PP (ReadFileBinary p :: Type) x

Defined in Predicate.Data.IO

type PP (ReadFileBinary p :: Type) x = Maybe ByteString

data FileExists p

similar to doesFileExist

Instances

P (FileExistsT p) x => P (FileExists p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (FileExists p) x

Methods

eval :: MonadEval m => proxy (FileExists p) -> POpts -> x -> m (TT (PP (FileExists p) x))

Show (FileExists p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> FileExists p -> ShowS

show :: FileExists p -> String

showList :: [FileExists p] -> ShowS

type PP (FileExists p :: Type) x

Defined in Predicate.Data.IO

type PP (FileExists p :: Type) x

data ReadDir p

similar to listDirectory

Instances

(PP p x ~ String, P p x) => P (ReadDir p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (ReadDir p) x

Methods

eval :: MonadEval m => proxy (ReadDir p) -> POpts -> x -> m (TT (PP (ReadDir p) x))

Show (ReadDir p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> ReadDir p -> ShowS

show :: ReadDir p -> String

showList :: [ReadDir p] -> ShowS

type PP (ReadDir p :: Type) x

Defined in Predicate.Data.IO

type PP (ReadDir p :: Type) x = Maybe [FilePath]

data DirExists p

similar to doesDirectoryExist

>>> pz @(DirExists ".") ()
Val True

>>> pz @(DirExists "xxy") ()
Val False

Instances

P (DirExistsT p) x => P (DirExists p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (DirExists p) x

Methods

eval :: MonadEval m => proxy (DirExists p) -> POpts -> x -> m (TT (PP (DirExists p) x))

Show (DirExists p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> DirExists p -> ShowS

show :: DirExists p -> String

showList :: [DirExists p] -> ShowS

type PP (DirExists p :: Type) x

Defined in Predicate.Data.IO

type PP (DirExists p :: Type) x

data AppendFile (s :: Symbol) p

append to a file

Instances

P (AppendFileT s p) x => P (AppendFile s p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (AppendFile s p) x

Methods

eval :: MonadEval m => proxy (AppendFile s p) -> POpts -> x -> m (TT (PP (AppendFile s p) x))

Show (AppendFile s p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> AppendFile s p -> ShowS

show :: AppendFile s p -> String

showList :: [AppendFile s p] -> ShowS

type PP (AppendFile s p :: Type) x

Defined in Predicate.Data.IO

type PP (AppendFile s p :: Type) x

data WriteFile (s :: Symbol) p

write to file, without overwriting

Instances

P (WriteFileT s p) x => P (WriteFile s p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (WriteFile s p) x

Methods

eval :: MonadEval m => proxy (WriteFile s p) -> POpts -> x -> m (TT (PP (WriteFile s p) x))

Show (WriteFile s p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> WriteFile s p -> ShowS

show :: WriteFile s p -> String

showList :: [WriteFile s p] -> ShowS

type PP (WriteFile s p :: Type) x

Defined in Predicate.Data.IO

type PP (WriteFile s p :: Type) x

data WriteFile' (s :: Symbol) p

write to file, overwriting if needed

Instances

P (WriteFileT' s p) x => P (WriteFile' s p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (WriteFile' s p) x

Methods

eval :: MonadEval m => proxy (WriteFile' s p) -> POpts -> x -> m (TT (PP (WriteFile' s p) x))

Show (WriteFile' s p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> WriteFile' s p -> ShowS

show :: WriteFile' s p -> String

showList :: [WriteFile' s p] -> ShowS

type PP (WriteFile' s p :: Type) x

Defined in Predicate.Data.IO

type PP (WriteFile' s p :: Type) x

screen

data Stdout p

write a string value to stdout

Instances

P (StdoutT p) x => P (Stdout p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (Stdout p) x

Methods

eval :: MonadEval m => proxy (Stdout p) -> POpts -> x -> m (TT (PP (Stdout p) x))

Show (Stdout p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> Stdout p -> ShowS

show :: Stdout p -> String

showList :: [Stdout p] -> ShowS

type PP (Stdout p :: Type) x

Defined in Predicate.Data.IO

type PP (Stdout p :: Type) x

data Stderr p

write a string value to stderr

Instances

P (StderrT p) x => P (Stderr p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (Stderr p) x

Methods

eval :: MonadEval m => proxy (Stderr p) -> POpts -> x -> m (TT (PP (Stderr p) x))

Show (Stderr p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> Stderr p -> ShowS

show :: Stderr p -> String

showList :: [Stderr p] -> ShowS

type PP (Stderr p :: Type) x

Defined in Predicate.Data.IO

type PP (Stderr p :: Type) x

data Stdin

read a value from stdin

Instances

Show Stdin

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> Stdin -> ShowS

show :: Stdin -> String

showList :: [Stdin] -> ShowS

P Stdin x

Defined in Predicate.Data.IO

Associated Types

type PP Stdin x

Methods

eval :: MonadEval m => proxy Stdin -> POpts -> x -> m (TT (PP Stdin x))

type PP Stdin x

Defined in Predicate.Data.IO

type PP Stdin x = String

type ReadIO (t :: Type) = ReadIO' t "Enter value"

read in a value of a given type from stdin with a prompt: similar to readIO

type ReadIO' (t :: Type) s = Stdout (s <> ":") >> (Stdin >> ReadP t Id)

similar to ReadIO but allow the user to specify the prompt string s

environment

data ReadEnv p

read an environment variable: similar to getEnv

>>> pz @(ReadEnv "PATH" >> 'Just Id >> 'True) ()
Val True

Instances

(PP p x ~ String, P p x) => P (ReadEnv p :: Type) x

Defined in Predicate.Data.IO

Associated Types

type PP (ReadEnv p) x

Methods

eval :: MonadEval m => proxy (ReadEnv p) -> POpts -> x -> m (TT (PP (ReadEnv p) x))

Show (ReadEnv p)

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> ReadEnv p -> ShowS

show :: ReadEnv p -> String

showList :: [ReadEnv p] -> ShowS

type PP (ReadEnv p :: Type) x

Defined in Predicate.Data.IO

type PP (ReadEnv p :: Type) x = Maybe String

data ReadEnvAll

read all the environment variables as key value pairs: similar to getEnvironment

Instances

Show ReadEnvAll

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> ReadEnvAll -> ShowS

show :: ReadEnvAll -> String

showList :: [ReadEnvAll] -> ShowS

P ReadEnvAll a

Defined in Predicate.Data.IO

Associated Types

type PP ReadEnvAll a

Methods

eval :: MonadEval m => proxy ReadEnvAll -> POpts -> a -> m (TT (PP ReadEnvAll a))

type PP ReadEnvAll a

Defined in Predicate.Data.IO

type PP ReadEnvAll a = [(String, String)]

date time

data TimeUtc

get the current time using UTCTime

Instances

Show TimeUtc

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> TimeUtc -> ShowS

show :: TimeUtc -> String

showList :: [TimeUtc] -> ShowS

P TimeUtc a

Defined in Predicate.Data.IO

Associated Types

type PP TimeUtc a

Methods

eval :: MonadEval m => proxy TimeUtc -> POpts -> a -> m (TT (PP TimeUtc a))

type PP TimeUtc a

Defined in Predicate.Data.IO

type PP TimeUtc a = UTCTime

data TimeZt

get the current time using ZonedTime

Instances

Show TimeZt

Defined in Predicate.Data.IO

Methods

showsPrec :: Int -> TimeZt -> ShowS

show :: TimeZt -> String

showList :: [TimeZt] -> ShowS

P TimeZt a

Defined in Predicate.Data.IO

Associated Types

type PP TimeZt a

Methods

eval :: MonadEval m => proxy TimeZt -> POpts -> a -> m (TT (PP TimeZt a))

type PP TimeZt a

Defined in Predicate.Data.IO

type PP TimeZt a = ZonedTime