Tintin.Capabilities.Filesystem

Documentation

data Filesystem

data Capability

newtype Path

Constructors

Path Text

Instances

Eq Path

Defined in Tintin.Capabilities.Filesystem

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Ord Path

Defined in Tintin.Capabilities.Filesystem

Methods

compare :: Path -> Path -> Ordering

(<) :: Path -> Path -> Bool

(<=) :: Path -> Path -> Bool

(>) :: Path -> Path -> Bool

(>=) :: Path -> Path -> Bool

max :: Path -> Path -> Path

min :: Path -> Path -> Path

Show Path

Defined in Tintin.Capabilities.Filesystem

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

newtype Extension

Constructors

Extension Text

local :: Capability

deleteIfExists :: Has Capability eff => Path -> Effectful eff ()

list :: Has Capability eff => Path -> Effectful eff [Path]

currentDirectory :: Has Capability eff => Effectful eff Path

readFile :: Has Capability eff => Path -> Effectful eff Text

makeDirectory :: Has Capability eff => Path -> Effectful eff ()

writeFile :: Has Capability eff => Path -> Text -> Effectful eff ()

doesExist :: Has Capability eff => Path -> Effectful eff Bool

getPathsWith :: Extension -> [Path] -> [Path]