Horizon.Spec

Documentation

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

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

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.2.1-1nr5PqAkSERFWwmWP1T5jo" '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.2.1-1nr5PqAkSERFWwmWP1T5jo" '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 HaskellSource where

Constructors

FromGit :: GitSource -> HaskellSource

FromHackage :: HackageSource -> 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.2.1-1nr5PqAkSERFWwmWP1T5jo" '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)))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" '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 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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'False) (C1 ('MetaCons "MkCabalFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Flag Text))))

data Modifiers where

Constructors

MkModifiers

Fields

• :: { doJailbreak :: Bool
•    , doCheck :: Bool
•    , enableProfiling :: Bool
•    } -> 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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'False) (C1 ('MetaCons "MkModifiers" 'PrefixI 'True) (S1 ('MetaSel ('Just "doJailbreak") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "doCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "enableProfiling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" '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]))))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'True) (C1 ('MetaCons "MkRevision" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromRevision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'True) (C1 ('MetaCons "MkCompiler" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromCompiler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'True) (C1 ('MetaCons "MkPackageList" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromPackageList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name HaskellPackage))))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'True) (C1 ('MetaCons "MkOverlay" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromOverlay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageList)))

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.2.1-1nr5PqAkSERFWwmWP1T5jo" 'False) (C1 ('MetaCons "MkPackageSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "compiler") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Compiler) :*: S1 ('MetaSel ('Just "packages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageList)))