Horizon.Spec

Documentation

data CabalFlag where

Constructors

MkCabalFlag :: Flag Text -> CabalFlag

Instances

Generic CabalFlag

Defined in Horizon.Spec

Associated Types

type Rep CabalFlag :: Type -> Type

Methods

from :: CabalFlag -> Rep CabalFlag x

to :: Rep CabalFlag x -> CabalFlag

Show CabalFlag

Defined in Horizon.Spec

Methods

showsPrec :: Int -> CabalFlag -> ShowS

show :: CabalFlag -> String

showList :: [CabalFlag] -> ShowS

FromDhall CabalFlag

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder CabalFlag

ToDhall CabalFlag

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder CabalFlag

Eq CabalFlag

Defined in Horizon.Spec

Methods

(==) :: CabalFlag -> CabalFlag -> Bool

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

type Rep CabalFlag

Defined in Horizon.Spec

type Rep CabalFlag = D1 ('MetaData "CabalFlag" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkCabalFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Flag Text))))

newtype Compiler where

Constructors

MkCompiler

Fields

• :: { fromCompiler :: Text
•    } -> Compiler

Instances

Generic Compiler

Defined in Horizon.Spec

Associated Types

type Rep Compiler :: Type -> Type

Methods

from :: Compiler -> Rep Compiler x

to :: Rep Compiler x -> Compiler

Show Compiler

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Compiler -> ShowS

show :: Compiler -> String

showList :: [Compiler] -> ShowS

FromDhall Compiler

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Compiler

ToDhall Compiler

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Compiler

Eq Compiler

Defined in Horizon.Spec

Methods

(==) :: Compiler -> Compiler -> Bool

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

type Rep Compiler

Defined in Horizon.Spec

type Rep Compiler = D1 ('MetaData "Compiler" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkCompiler" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromCompiler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Flag a where

Constructors

Enable :: a -> Flag a

Disable :: a -> Flag a

Instances

Generic (Flag a)

Defined in Horizon.Spec

Associated Types

type Rep (Flag a) :: Type -> Type

Methods

from :: Flag a -> Rep (Flag a) x

to :: Rep (Flag a) x -> Flag a

Show a => Show (Flag a)

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Flag a -> ShowS

show :: Flag a -> String

showList :: [Flag a] -> ShowS

FromDhall a => FromDhall (Flag a)

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder (Flag a)

ToDhall a => ToDhall (Flag a)

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder (Flag a)

Eq a => Eq (Flag a)

Defined in Horizon.Spec

Methods

(==) :: Flag a -> Flag a -> Bool

(/=) :: Flag a -> Flag a -> Bool

type Rep (Flag a)

Defined in Horizon.Spec

type Rep (Flag a) = D1 ('MetaData "Flag" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "Enable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Disable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data GitSource where

Constructors

MkGitSource

Fields

• :: { url :: Repo
•    , revision :: Revision
•    , subdir :: Maybe Subdir
•    } -> GitSource

Instances

Generic GitSource

Defined in Horizon.Spec

Associated Types

type Rep GitSource :: Type -> Type

Methods

from :: GitSource -> Rep GitSource x

to :: Rep GitSource x -> GitSource

Show GitSource

Defined in Horizon.Spec

Methods

showsPrec :: Int -> GitSource -> ShowS

show :: GitSource -> String

showList :: [GitSource] -> ShowS

FromDhall GitSource

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder GitSource

ToDhall GitSource

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder GitSource

Eq GitSource

Defined in Horizon.Spec

Methods

(==) :: GitSource -> GitSource -> Bool

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

type Rep GitSource

Defined in Horizon.Spec

type Rep GitSource = D1 ('MetaData "GitSource" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkGitSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Repo) :*: (S1 ('MetaSel ('Just "revision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Revision) :*: S1 ('MetaSel ('Just "subdir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Subdir)))))

data HackageSource where

Constructors

MkHackageSource

Fields

• :: { name :: Name
•    , version :: Version
•    } -> HackageSource

Instances

Generic HackageSource

Defined in Horizon.Spec

Associated Types

type Rep HackageSource :: Type -> Type

Methods

from :: HackageSource -> Rep HackageSource x

to :: Rep HackageSource x -> HackageSource

Show HackageSource

Defined in Horizon.Spec

Methods

showsPrec :: Int -> HackageSource -> ShowS

show :: HackageSource -> String

showList :: [HackageSource] -> ShowS

FromDhall HackageSource

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder HackageSource

ToDhall HackageSource

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder HackageSource

Eq HackageSource

Defined in Horizon.Spec

Methods

(==) :: HackageSource -> HackageSource -> Bool

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

type Rep HackageSource

Defined in Horizon.Spec

type Rep HackageSource = D1 ('MetaData "HackageSource" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkHackageSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

data HaskellPackage where

Constructors

MkHaskellPackage

Fields

• :: { source :: HaskellSource
•    , modifiers :: Modifiers
•    , flags :: [CabalFlag]
•    } -> HaskellPackage

Instances

Generic HaskellPackage

Defined in Horizon.Spec

Associated Types

type Rep HaskellPackage :: Type -> Type

Methods

from :: HaskellPackage -> Rep HaskellPackage x

to :: Rep HaskellPackage x -> HaskellPackage

Show HaskellPackage

Defined in Horizon.Spec

Methods

showsPrec :: Int -> HaskellPackage -> ShowS

show :: HaskellPackage -> String

showList :: [HaskellPackage] -> ShowS

FromDhall HaskellPackage

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder HaskellPackage

ToDhall HaskellPackage

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder HaskellPackage

Eq HaskellPackage

Defined in Horizon.Spec

Methods

(==) :: HaskellPackage -> HaskellPackage -> Bool

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

type Rep HaskellPackage

Defined in Horizon.Spec

type Rep HaskellPackage = D1 ('MetaData "HaskellPackage" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkHaskellPackage" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HaskellSource) :*: (S1 ('MetaSel ('Just "modifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Modifiers) :*: S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CabalFlag]))))

data HaskellSource where

Constructors

FromGit :: GitSource -> HaskellSource

FromHackage :: HackageSource -> HaskellSource

FromLocal :: LocalSource -> HaskellSource

FromTarball :: TarballSource -> HaskellSource

Instances

Generic HaskellSource

Defined in Horizon.Spec

Associated Types

type Rep HaskellSource :: Type -> Type

Methods

from :: HaskellSource -> Rep HaskellSource x

to :: Rep HaskellSource x -> HaskellSource

Show HaskellSource

Defined in Horizon.Spec

Methods

showsPrec :: Int -> HaskellSource -> ShowS

show :: HaskellSource -> String

showList :: [HaskellSource] -> ShowS

FromDhall HaskellSource

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder HaskellSource

ToDhall HaskellSource

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder HaskellSource

Eq HaskellSource

Defined in Horizon.Spec

Methods

(==) :: HaskellSource -> HaskellSource -> Bool

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

type Rep HaskellSource

Defined in Horizon.Spec

type Rep HaskellSource = D1 ('MetaData "HaskellSource" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) ((C1 ('MetaCons "FromGit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GitSource)) :+: C1 ('MetaCons "FromHackage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HackageSource))) :+: (C1 ('MetaCons "FromLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalSource)) :+: C1 ('MetaCons "FromTarball" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TarballSource))))

data HorizonExport where

Constructors

MakePackageSet :: PackageSetExportSettings -> HorizonExport

MakeOverlay :: OverlayExportSettings -> HorizonExport

Instances

Generic HorizonExport

Defined in Horizon.Spec

Associated Types

type Rep HorizonExport :: Type -> Type

Methods

from :: HorizonExport -> Rep HorizonExport x

to :: Rep HorizonExport x -> HorizonExport

Show HorizonExport

Defined in Horizon.Spec

Methods

showsPrec :: Int -> HorizonExport -> ShowS

show :: HorizonExport -> String

showList :: [HorizonExport] -> ShowS

FromDhall HorizonExport

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder HorizonExport

ToDhall HorizonExport

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder HorizonExport

Eq HorizonExport

Defined in Horizon.Spec

Methods

(==) :: HorizonExport -> HorizonExport -> Bool

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

type Rep HorizonExport

Defined in Horizon.Spec

type Rep HorizonExport = D1 ('MetaData "HorizonExport" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MakePackageSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageSetExportSettings)) :+: C1 ('MetaCons "MakeOverlay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayExportSettings)))

newtype LocalSource where

Constructors

MkLocalSource

Fields

• :: { fromLocalSource :: Subdir
•    } -> LocalSource

Instances

Generic LocalSource

Defined in Horizon.Spec

Associated Types

type Rep LocalSource :: Type -> Type

Methods

from :: LocalSource -> Rep LocalSource x

to :: Rep LocalSource x -> LocalSource

Show LocalSource

Defined in Horizon.Spec

Methods

showsPrec :: Int -> LocalSource -> ShowS

show :: LocalSource -> String

showList :: [LocalSource] -> ShowS

FromDhall LocalSource

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder LocalSource

ToDhall LocalSource

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder LocalSource

Eq LocalSource

Defined in Horizon.Spec

Methods

(==) :: LocalSource -> LocalSource -> Bool

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

type Rep LocalSource

Defined in Horizon.Spec

type Rep LocalSource = D1 ('MetaData "LocalSource" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkLocalSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromLocalSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Subdir)))

data Modifiers

Instances

Generic Modifiers

Defined in Horizon.Spec

Associated Types

type Rep Modifiers :: Type -> Type

Methods

from :: Modifiers -> Rep Modifiers x

to :: Rep Modifiers x -> Modifiers

Show Modifiers

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Modifiers -> ShowS

show :: Modifiers -> String

showList :: [Modifiers] -> ShowS

FromDhall Modifiers

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Modifiers

ToDhall Modifiers

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Modifiers

Eq Modifiers

Defined in Horizon.Spec

Methods

(==) :: Modifiers -> Modifiers -> Bool

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

type Rep Modifiers

Defined in Horizon.Spec

type Rep Modifiers = D1 ('MetaData "Modifiers" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkModifiers" 'PrefixI 'True) ((S1 ('MetaSel ('Just "doBenchmark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "doCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "doJailbreak") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "enableProfiling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "includeBenchmarks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "includeExecutables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "includeTests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

newtype Name

Constructors

MkName

Fields

• fromName :: Text

Instances

Show Name

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

FromDhall Name

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Name

ToDhall Name

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Name

Eq Name

Defined in Horizon.Spec

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

Defined in Horizon.Spec

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

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

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

data OverlayExportSettings where

Constructors

MkOverlayExportSettings

Fields

• :: { packagesDir :: PackagesDir
•    , overlayFile :: OverlayFile
•    , overlay :: Overlay
•    } -> OverlayExportSettings

Instances

Generic OverlayExportSettings

Defined in Horizon.Spec

Associated Types

type Rep OverlayExportSettings :: Type -> Type

Methods

from :: OverlayExportSettings -> Rep OverlayExportSettings x

to :: Rep OverlayExportSettings x -> OverlayExportSettings

Show OverlayExportSettings

Defined in Horizon.Spec

Methods

showsPrec :: Int -> OverlayExportSettings -> ShowS

show :: OverlayExportSettings -> String

showList :: [OverlayExportSettings] -> ShowS

FromDhall OverlayExportSettings

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder OverlayExportSettings

ToDhall OverlayExportSettings

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder OverlayExportSettings

Eq OverlayExportSettings

Defined in Horizon.Spec

Methods

(==) :: OverlayExportSettings -> OverlayExportSettings -> Bool

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

type Rep OverlayExportSettings

Defined in Horizon.Spec

type Rep OverlayExportSettings = D1 ('MetaData "OverlayExportSettings" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkOverlayExportSettings" 'PrefixI 'True) (S1 ('MetaSel ('Just "packagesDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackagesDir) :*: (S1 ('MetaSel ('Just "overlayFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OverlayFile) :*: S1 ('MetaSel ('Just "overlay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Overlay))))

newtype OverlayFile where

Constructors

MkOverlayFile

Fields

• :: { fromOverlayFile :: Path Rel File
•    } -> OverlayFile

Instances

Generic OverlayFile

Defined in Horizon.Spec

Associated Types

type Rep OverlayFile :: Type -> Type

Methods

from :: OverlayFile -> Rep OverlayFile x

to :: Rep OverlayFile x -> OverlayFile

Show OverlayFile

Defined in Horizon.Spec

Methods

showsPrec :: Int -> OverlayFile -> ShowS

show :: OverlayFile -> String

showList :: [OverlayFile] -> ShowS

FromDhall OverlayFile

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder OverlayFile

ToDhall OverlayFile

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder OverlayFile

Eq OverlayFile

Defined in Horizon.Spec

Methods

(==) :: OverlayFile -> OverlayFile -> Bool

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

type Rep OverlayFile

Defined in Horizon.Spec

type Rep OverlayFile = D1 ('MetaData "OverlayFile" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkOverlayFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromOverlayFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path Rel File))))

newtype Overlay where

Constructors

MkOverlay

Fields

• :: { fromOverlay :: PackageList
•    } -> Overlay

Instances

Generic Overlay

Defined in Horizon.Spec

Associated Types

type Rep Overlay :: Type -> Type

Methods

from :: Overlay -> Rep Overlay x

to :: Rep Overlay x -> Overlay

Show Overlay

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Overlay -> ShowS

show :: Overlay -> String

showList :: [Overlay] -> ShowS

FromDhall Overlay

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Overlay

ToDhall Overlay

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Overlay

Eq Overlay

Defined in Horizon.Spec

Methods

(==) :: Overlay -> Overlay -> Bool

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

type Rep Overlay

Defined in Horizon.Spec

type Rep Overlay = D1 ('MetaData "Overlay" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkOverlay" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromOverlay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageList)))

newtype PackageList where

Constructors

MkPackageList

Fields

• :: { fromPackageList :: Map Name HaskellPackage
•    } -> PackageList

Instances

Generic PackageList

Defined in Horizon.Spec

Associated Types

type Rep PackageList :: Type -> Type

Methods

from :: PackageList -> Rep PackageList x

to :: Rep PackageList x -> PackageList

Show PackageList

Defined in Horizon.Spec

Methods

showsPrec :: Int -> PackageList -> ShowS

show :: PackageList -> String

showList :: [PackageList] -> ShowS

FromDhall PackageList

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder PackageList

ToDhall PackageList

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder PackageList

Eq PackageList

Defined in Horizon.Spec

Methods

(==) :: PackageList -> PackageList -> Bool

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

type Rep PackageList

Defined in Horizon.Spec

type Rep PackageList = D1 ('MetaData "PackageList" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkPackageList" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromPackageList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name HaskellPackage))))

data PackageSetExportSettings where

Constructors

MkPackageSetExportSettings

Fields

• :: { packagesDir :: PackagesDir
•    , packageSetFile :: PackageSetFile
•    , packageSet :: PackageSet
•    } -> PackageSetExportSettings

Instances

Generic PackageSetExportSettings

Defined in Horizon.Spec

Associated Types

type Rep PackageSetExportSettings :: Type -> Type

Methods

from :: PackageSetExportSettings -> Rep PackageSetExportSettings x

to :: Rep PackageSetExportSettings x -> PackageSetExportSettings

Show PackageSetExportSettings

Defined in Horizon.Spec

Methods

showsPrec :: Int -> PackageSetExportSettings -> ShowS

show :: PackageSetExportSettings -> String

showList :: [PackageSetExportSettings] -> ShowS

FromDhall PackageSetExportSettings

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder PackageSetExportSettings

ToDhall PackageSetExportSettings

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder PackageSetExportSettings

Eq PackageSetExportSettings

Defined in Horizon.Spec

Methods

(==) :: PackageSetExportSettings -> PackageSetExportSettings -> Bool

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

type Rep PackageSetExportSettings

Defined in Horizon.Spec

type Rep PackageSetExportSettings = D1 ('MetaData "PackageSetExportSettings" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkPackageSetExportSettings" 'PrefixI 'True) (S1 ('MetaSel ('Just "packagesDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackagesDir) :*: (S1 ('MetaSel ('Just "packageSetFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageSetFile) :*: S1 ('MetaSel ('Just "packageSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageSet))))

newtype PackageSetFile where

Constructors

MkPackageSetFile

Fields

• :: { fromPackageSetFile :: Path Rel File
•    } -> PackageSetFile

Instances

Generic PackageSetFile

Defined in Horizon.Spec

Associated Types

type Rep PackageSetFile :: Type -> Type

Methods

from :: PackageSetFile -> Rep PackageSetFile x

to :: Rep PackageSetFile x -> PackageSetFile

Show PackageSetFile

Defined in Horizon.Spec

Methods

showsPrec :: Int -> PackageSetFile -> ShowS

show :: PackageSetFile -> String

showList :: [PackageSetFile] -> ShowS

FromDhall PackageSetFile

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder PackageSetFile

ToDhall PackageSetFile

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder PackageSetFile

Eq PackageSetFile

Defined in Horizon.Spec

Methods

(==) :: PackageSetFile -> PackageSetFile -> Bool

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

type Rep PackageSetFile

Defined in Horizon.Spec

type Rep PackageSetFile = D1 ('MetaData "PackageSetFile" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkPackageSetFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromPackageSetFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path Rel File))))

data PackageSet where

Constructors

MkPackageSet

Fields

• :: { compiler :: Compiler
•    , packages :: PackageList
•    } -> PackageSet

Instances

Generic PackageSet

Defined in Horizon.Spec

Associated Types

type Rep PackageSet :: Type -> Type

Methods

from :: PackageSet -> Rep PackageSet x

to :: Rep PackageSet x -> PackageSet

Show PackageSet

Defined in Horizon.Spec

Methods

showsPrec :: Int -> PackageSet -> ShowS

show :: PackageSet -> String

showList :: [PackageSet] -> ShowS

FromDhall PackageSet

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder PackageSet

ToDhall PackageSet

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder PackageSet

Eq PackageSet

Defined in Horizon.Spec

Methods

(==) :: PackageSet -> PackageSet -> Bool

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

type Rep PackageSet

Defined in Horizon.Spec

type Rep PackageSet = D1 ('MetaData "PackageSet" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'False) (C1 ('MetaCons "MkPackageSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "compiler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Compiler) :*: S1 ('MetaSel ('Just "packages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageList)))

newtype PackagesDir where

Constructors

MkPackagesDir

Fields

• :: { fromPackagesDir :: Path Rel Dir
•    } -> PackagesDir

Instances

Generic PackagesDir

Defined in Horizon.Spec

Associated Types

type Rep PackagesDir :: Type -> Type

Methods

from :: PackagesDir -> Rep PackagesDir x

to :: Rep PackagesDir x -> PackagesDir

Show PackagesDir

Defined in Horizon.Spec

Methods

showsPrec :: Int -> PackagesDir -> ShowS

show :: PackagesDir -> String

showList :: [PackagesDir] -> ShowS

FromDhall PackagesDir

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder PackagesDir

ToDhall PackagesDir

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder PackagesDir

Eq PackagesDir

Defined in Horizon.Spec

Methods

(==) :: PackagesDir -> PackagesDir -> Bool

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

type Rep PackagesDir

Defined in Horizon.Spec

type Rep PackagesDir = D1 ('MetaData "PackagesDir" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkPackagesDir" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromPackagesDir") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path Rel Dir))))

newtype Repo

Constructors

MkRepo

Fields

• fromRepo :: Url

Instances

Show Repo

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Repo -> ShowS

show :: Repo -> String

showList :: [Repo] -> ShowS

FromDhall Repo

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Repo

ToDhall Repo

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Repo

Eq Repo

Defined in Horizon.Spec

Methods

(==) :: Repo -> Repo -> Bool

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

newtype Revision where

Constructors

MkRevision

Fields

• :: { fromRevision :: Text
•    } -> Revision

Instances

Generic Revision

Defined in Horizon.Spec

Associated Types

type Rep Revision :: Type -> Type

Methods

from :: Revision -> Rep Revision x

to :: Rep Revision x -> Revision

Show Revision

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Revision -> ShowS

show :: Revision -> String

showList :: [Revision] -> ShowS

FromDhall Revision

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Revision

ToDhall Revision

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Revision

Eq Revision

Defined in Horizon.Spec

Methods

(==) :: Revision -> Revision -> Bool

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

type Rep Revision

Defined in Horizon.Spec

type Rep Revision = D1 ('MetaData "Revision" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkRevision" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromRevision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Subdir

Constructors

MkSubdir

Fields

• fromSubdir :: Path Rel Dir

Instances

Show Subdir

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Subdir -> ShowS

show :: Subdir -> String

showList :: [Subdir] -> ShowS

FromDhall Subdir

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Subdir

ToDhall Subdir

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Subdir

Eq Subdir

Defined in Horizon.Spec

Methods

(==) :: Subdir -> Subdir -> Bool

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

newtype TarballSource where

Constructors

MkTarballSource

Fields

• :: { fromTarballSource :: Url
•    } -> TarballSource

Instances

Generic TarballSource

Defined in Horizon.Spec

Associated Types

type Rep TarballSource :: Type -> Type

Methods

from :: TarballSource -> Rep TarballSource x

to :: Rep TarballSource x -> TarballSource

Show TarballSource

Defined in Horizon.Spec

Methods

showsPrec :: Int -> TarballSource -> ShowS

show :: TarballSource -> String

showList :: [TarballSource] -> ShowS

FromDhall TarballSource

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder TarballSource

ToDhall TarballSource

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder TarballSource

Eq TarballSource

Defined in Horizon.Spec

Methods

(==) :: TarballSource -> TarballSource -> Bool

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

type Rep TarballSource

Defined in Horizon.Spec

type Rep TarballSource = D1 ('MetaData "TarballSource" "Horizon.Spec" "horizon-spec-0.5-K0H2AD7ecsEIFqo3k42yKY" 'True) (C1 ('MetaCons "MkTarballSource" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromTarballSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Url)))

newtype Url

Constructors

MkUrl

Fields

• fromUrl :: Text

Instances

Show Url

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Url -> ShowS

show :: Url -> String

showList :: [Url] -> ShowS

FromDhall Url

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Url

ToDhall Url

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Url

Eq Url

Defined in Horizon.Spec

Methods

(==) :: Url -> Url -> Bool

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

newtype Version

Constructors

MkVersion

Fields

• fromVersion :: Text

Instances

Show Version

Defined in Horizon.Spec

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

FromDhall Version

Defined in Horizon.Spec

Methods

autoWith :: InputNormalizer -> Decoder Version

ToDhall Version

Defined in Horizon.Spec

Methods

injectWith :: InputNormalizer -> Encoder Version

Eq Version

Defined in Horizon.Spec

Methods

(==) :: Version -> Version -> Bool

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