Safe Haskell	None
Language	Haskell2010

Podenv

Contents

Config
Import
Context
Runtime

Description

The podenv library entry point

Synopsis

data Application = Application {
- capabilities :: Capabilities
- command :: ([] Text)
- description :: (Maybe Text)
- environ :: ([] Text)
- name :: Text
- namespace :: (Maybe Text)
- runtime :: Runtime
- syscaps :: ([] Text)
- volumes :: ([] Text)
}
data Capabilities = Capabilities {
- alsa :: Bool
- cwd :: Bool
- dbus :: Bool
- dri :: Bool
- gpg :: Bool
- hostfile :: Bool
- interactive :: Bool
- kvm :: Bool
- network :: Bool
- pipewire :: Bool
- privileged :: Bool
- pulseaudio :: Bool
- root :: Bool
- rw :: Bool
- ssh :: Bool
- terminal :: Bool
- tun :: Bool
- video :: Bool
- wayland :: Bool
- x11 :: Bool
}
loadConfig :: Text -> IO Config
decodeExpr :: DhallExpr -> Config
select :: Config -> [Text] -> Either Text ([Text], Application)
appToContext :: AppEnv -> Application -> Name -> IO Context
data RuntimeEnv = RuntimeEnv {
- verbose :: Bool
- detach :: Bool
- system :: SystemConfig
- extraArgs :: [Text]
- volumesDir :: FilePath
}
defaultRuntimeEnv :: FilePath -> RuntimeEnv
execute :: RuntimeEnv -> Context -> IO ()
getPodmanPodStatus :: MonadIO m => Name -> m PodmanStatus
deletePodmanPod :: MonadIO m => Name -> m ()

Config

data Application Source #

Constructors

Application
Fields capabilities :: Capabilities command :: ([] Text) description :: (Maybe Text) environ :: ([] Text) name :: Text namespace :: (Maybe Text) runtime :: Runtime syscaps :: ([] Text) volumes :: ([] Text)

Instances

Instances details

Eq Application Source #
Instance details Defined in Podenv.Dhall Methods (==) :: Application -> Application -> Bool # (/=) :: Application -> Application -> Bool #
Show Application Source #
Instance details Defined in Podenv.Dhall Methods showsPrec :: Int -> Application -> ShowS # show :: Application -> String # showList :: [Application] -> ShowS #
Generic Application Source #
Instance details Defined in Podenv.Dhall Associated Types type Rep Application :: Type -> Type # Methods from :: Application -> Rep Application x # to :: Rep Application x -> Application #
FromDhall Application Source #
Instance details Defined in Podenv.Dhall Methods autoWith :: InputNormalizer -> Decoder Application #
ToDhall Application Source #
Instance details Defined in Podenv.Dhall Methods injectWith :: InputNormalizer -> Encoder Application #
type Rep Application Source #
Instance details Defined in Podenv.Dhall type Rep Application = D1 ('MetaData "Application" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) (C1 ('MetaCons "Application" 'PrefixI 'True) (((S1 ('MetaSel ('Just "capabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Capabilities) :: S1 ('MetaSel ('Just "command") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])) :: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "environ") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]))) :: ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "runtime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Runtime) :: (S1 ('MetaSel ('Just "syscaps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :: S1 ('MetaSel ('Just "volumes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]))))))

data Capabilities Source #

Generate Haskell Types from Dhall Types. See: https://hackage.haskell.org/package/dhall-1.39.0/docs/Dhall-TH.html

Constructors

Capabilities
Fields alsa :: Bool cwd :: Bool dbus :: Bool dri :: Bool gpg :: Bool hostfile :: Bool interactive :: Bool kvm :: Bool network :: Bool pipewire :: Bool privileged :: Bool pulseaudio :: Bool root :: Bool rw :: Bool ssh :: Bool terminal :: Bool tun :: Bool video :: Bool wayland :: Bool x11 :: Bool

Instances

Instances details

Eq Capabilities Source #
Instance details Defined in Podenv.Dhall Methods (==) :: Capabilities -> Capabilities -> Bool # (/=) :: Capabilities -> Capabilities -> Bool #
Show Capabilities Source #
Instance details Defined in Podenv.Dhall Methods showsPrec :: Int -> Capabilities -> ShowS # show :: Capabilities -> String # showList :: [Capabilities] -> ShowS #
Generic Capabilities Source #
Instance details Defined in Podenv.Dhall Associated Types type Rep Capabilities :: Type -> Type # Methods from :: Capabilities -> Rep Capabilities x # to :: Rep Capabilities x -> Capabilities #
FromDhall Capabilities Source #
Instance details Defined in Podenv.Dhall Methods autoWith :: InputNormalizer -> Decoder Capabilities #
ToDhall Capabilities Source #
Instance details Defined in Podenv.Dhall Methods injectWith :: InputNormalizer -> Encoder Capabilities #
type Rep Capabilities Source #
Instance details Defined in Podenv.Dhall type Rep Capabilities = D1 ('MetaData "Capabilities" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) (C1 ('MetaCons "Capabilities" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "alsa") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "cwd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "dbus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "dri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "gpg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :: ((S1 ('MetaSel ('Just "hostfile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "interactive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "kvm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "network") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "pipewire") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))) :: (((S1 ('MetaSel ('Just "privileged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "pulseaudio") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "root") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "rw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "ssh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :: ((S1 ('MetaSel ('Just "terminal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "tun") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "video") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "wayland") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "x11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))))

Import

loadConfig :: Text -> IO Config Source #

decodeExpr :: DhallExpr -> Config Source #

Pure config load

select :: Config -> [Text] -> Either Text ([Text], Application) Source #

Select the application, returning the unused cli args.

Context

appToContext :: AppEnv -> Application -> Name -> IO Context Source #

Runtime

data RuntimeEnv Source #

Constructors

RuntimeEnv
Fields verbose :: Bool detach :: Bool system :: SystemConfig extraArgs :: [Text] The app argument provided on the command line volumesDir :: FilePath The host location of the volumes directory, default to ~.localsharepodenvvolumes

Instances

Instances details

Show RuntimeEnv Source #
Instance details Defined in Podenv.Runtime Methods showsPrec :: Int -> RuntimeEnv -> ShowS # show :: RuntimeEnv -> String # showList :: [RuntimeEnv] -> ShowS #

defaultRuntimeEnv :: FilePath -> RuntimeEnv Source #

execute :: RuntimeEnv -> Context -> IO () Source #

getPodmanPodStatus :: MonadIO m => Name -> m PodmanStatus Source #

deletePodmanPod :: MonadIO m => Name -> m () Source #