Podenv.Dhall

This module defines Haskell data types and lenses for the podenv dhall schemas.

Documentation

hubCommit :: Expr Void Void

The hub submodule commit, this is only used for the PODENV environment value

podenvPackage :: Expr Void Void

Embed static dhall code

appType :: Expr Void Void

appDefault :: Expr Void Void

runtimeType :: Expr Void Void

containerBuildDefault :: Expr Void Void

capsDefault :: Expr Void Void

systemConfigDefault :: Expr Void Void

data Capabilities

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

Eq Capabilities

Defined in Podenv.Dhall

Methods

(==) :: Capabilities -> Capabilities -> Bool

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

Show Capabilities

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> Capabilities -> ShowS

show :: Capabilities -> String

showList :: [Capabilities] -> ShowS

Generic Capabilities

Defined in Podenv.Dhall

Associated Types

type Rep Capabilities :: Type -> Type

Methods

from :: Capabilities -> Rep Capabilities x

to :: Rep Capabilities x -> Capabilities

FromDhall Capabilities

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder Capabilities

ToDhall Capabilities

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder Capabilities

type Rep Capabilities

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)))))))

data ContainerBuild

Constructors

ContainerBuild

Fields

• containerfile :: Text
• image_home :: (Maybe Text)
• image_name :: (Maybe Text)
• image_update :: (Maybe Text)
• image_volumes :: ([] Text)

Instances

Eq ContainerBuild

Defined in Podenv.Dhall

Methods

(==) :: ContainerBuild -> ContainerBuild -> Bool

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

Show ContainerBuild

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> ContainerBuild -> ShowS

show :: ContainerBuild -> String

showList :: [ContainerBuild] -> ShowS

Generic ContainerBuild

Defined in Podenv.Dhall

Associated Types

type Rep ContainerBuild :: Type -> Type

Methods

from :: ContainerBuild -> Rep ContainerBuild x

to :: Rep ContainerBuild x -> ContainerBuild

FromDhall ContainerBuild

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder ContainerBuild

ToDhall ContainerBuild

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder ContainerBuild

type Rep ContainerBuild

Defined in Podenv.Dhall

type Rep ContainerBuild = D1 ('MetaData "ContainerBuild" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) (C1 ('MetaCons "ContainerBuild" 'PrefixI 'True) ((S1 ('MetaSel ('Just "containerfile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "image_home") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "image_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "image_update") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "image_volumes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))))

data Flakes

Constructors

Flakes

Fields

• installables :: ([] Text)
• nixpkgs :: (Maybe Text)

Instances

Eq Flakes

Defined in Podenv.Dhall

Methods

(==) :: Flakes -> Flakes -> Bool

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

Show Flakes

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> Flakes -> ShowS

show :: Flakes -> String

showList :: [Flakes] -> ShowS

Generic Flakes

Defined in Podenv.Dhall

Associated Types

type Rep Flakes :: Type -> Type

Methods

from :: Flakes -> Rep Flakes x

to :: Rep Flakes x -> Flakes

FromDhall Flakes

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder Flakes

ToDhall Flakes

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder Flakes

type Rep Flakes

Defined in Podenv.Dhall

type Rep Flakes = D1 ('MetaData "Flakes" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) (C1 ('MetaCons "Flakes" 'PrefixI 'True) (S1 ('MetaSel ('Just "installables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "nixpkgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data SystemConfig

Constructors

SystemConfig

Fields

• data_volumes_dir :: (Maybe Text)
• dns :: (Maybe Text)

Instances

Eq SystemConfig

Defined in Podenv.Dhall

Methods

(==) :: SystemConfig -> SystemConfig -> Bool

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

Show SystemConfig

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> SystemConfig -> ShowS

show :: SystemConfig -> String

showList :: [SystemConfig] -> ShowS

Generic SystemConfig

Defined in Podenv.Dhall

Associated Types

type Rep SystemConfig :: Type -> Type

Methods

from :: SystemConfig -> Rep SystemConfig x

to :: Rep SystemConfig x -> SystemConfig

FromDhall SystemConfig

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder SystemConfig

ToDhall SystemConfig

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder SystemConfig

type Rep SystemConfig

Defined in Podenv.Dhall

type Rep SystemConfig = D1 ('MetaData "SystemConfig" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) (C1 ('MetaCons "SystemConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "data_volumes_dir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "dns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data Runtime

Constructors

Container ContainerBuild

Image Text

Nix Flakes

Rootfs Text

Instances

Eq Runtime

Defined in Podenv.Dhall

Methods

(==) :: Runtime -> Runtime -> Bool

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

Show Runtime

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> Runtime -> ShowS

show :: Runtime -> String

showList :: [Runtime] -> ShowS

Generic Runtime

Defined in Podenv.Dhall

Associated Types

type Rep Runtime :: Type -> Type

Methods

from :: Runtime -> Rep Runtime x

to :: Rep Runtime x -> Runtime

FromDhall Runtime

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder Runtime

ToDhall Runtime

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder Runtime

type Rep Runtime

Defined in Podenv.Dhall

type Rep Runtime = D1 ('MetaData "Runtime" "Podenv.Dhall" "podenv-0.2.0-GMVgYA7PotzCmdpDoQGwpS" 'False) ((C1 ('MetaCons "Container" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContainerBuild)) :+: C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "Nix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Flakes)) :+: C1 ('MetaCons "Rootfs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data Application

Constructors

Application

Fields

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

Instances

Eq Application

Defined in Podenv.Dhall

Methods

(==) :: Application -> Application -> Bool

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

Show Application

Defined in Podenv.Dhall

Methods

showsPrec :: Int -> Application -> ShowS

show :: Application -> String

showList :: [Application] -> ShowS

Generic Application

Defined in Podenv.Dhall

Associated Types

type Rep Application :: Type -> Type

Methods

from :: Application -> Rep Application x

to :: Rep Application x -> Application

FromDhall Application

Defined in Podenv.Dhall

Methods

autoWith :: InputNormalizer -> Decoder Application

ToDhall Application

Defined in Podenv.Dhall

Methods

injectWith :: InputNormalizer -> Encoder Application

type Rep Application

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]))))))

capX11 :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capWayland :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capVideo :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capTun :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capTerminal :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capSsh :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capRw :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capRoot :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capPulseaudio :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capPrivileged :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capPipewire :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capNetwork :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capKvm :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capInteractive :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capHostfile :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capGpg :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capDri :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capDbus :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capCwd :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

capAlsa :: Functor f => (Bool -> f Bool) -> Capabilities -> f Capabilities

appVolumes :: Functor f => ([Text] -> f [Text]) -> Application -> f Application

appSyscaps :: Functor f => ([Text] -> f [Text]) -> Application -> f Application

appRuntime :: Functor f => (Runtime -> f Runtime) -> Application -> f Application

appNamespace :: Functor f => (Maybe Text -> f (Maybe Text)) -> Application -> f Application

appName :: Functor f => (Text -> f Text) -> Application -> f Application

appEnviron :: Functor f => ([Text] -> f [Text]) -> Application -> f Application

appDescription :: Functor f => (Maybe Text -> f (Maybe Text)) -> Application -> f Application

appCommand :: Functor f => ([Text] -> f [Text]) -> Application -> f Application

appCapabilities :: Functor f => (Capabilities -> f Capabilities) -> Application -> f Application

cbImage_volumes :: Functor f => ([Text] -> f [Text]) -> ContainerBuild -> f ContainerBuild

cbImage_update :: Functor f => (Maybe Text -> f (Maybe Text)) -> ContainerBuild -> f ContainerBuild

cbImage_name :: Functor f => (Maybe Text -> f (Maybe Text)) -> ContainerBuild -> f ContainerBuild

cbImage_home :: Functor f => (Maybe Text -> f (Maybe Text)) -> ContainerBuild -> f ContainerBuild

cbContainerfile :: Functor f => (Text -> f Text) -> ContainerBuild -> f ContainerBuild

sysDns :: Functor f => (Maybe Text -> f (Maybe Text)) -> SystemConfig -> f SystemConfig

sysData_volumes_dir :: Functor f => (Maybe Text -> f (Maybe Text)) -> SystemConfig -> f SystemConfig