Safe Haskell	Safe-Inferred
Language	Haskell2010

Horizon.Spec

Documentation

newtype Url Source #

Constructors

MkUrl
Fields fromUrl :: Text

Instances

Instances details

Show Url Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Url -> ShowS # show :: Url -> String # showList :: [Url] -> ShowS #
FromDhall Url Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Url #
ToDhall Url Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Url #
Eq Url Source #
Instance details Defined in Horizon.Spec Methods (==) :: Url -> Url -> Bool # (/=) :: Url -> Url -> Bool #

newtype Repo Source #

Constructors

MkRepo
Fields fromRepo :: Url

Instances

Instances details

Show Repo Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Repo -> ShowS # show :: Repo -> String # showList :: [Repo] -> ShowS #
FromDhall Repo Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Repo #
ToDhall Repo Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Repo #
Eq Repo Source #
Instance details Defined in Horizon.Spec Methods (==) :: Repo -> Repo -> Bool # (/=) :: Repo -> Repo -> Bool #

newtype Subdir Source #

Constructors

MkSubdir
Fields fromSubdir :: Path Rel Dir

Instances

Instances details

Show Subdir Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Subdir -> ShowS # show :: Subdir -> String # showList :: [Subdir] -> ShowS #
FromDhall Subdir Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Subdir #
ToDhall Subdir Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Subdir #
Eq Subdir Source #
Instance details Defined in Horizon.Spec Methods (==) :: Subdir -> Subdir -> Bool # (/=) :: Subdir -> Subdir -> Bool #

newtype Name Source #

Constructors

MkName
Fields fromName :: Text

Instances

Instances details

Show Name Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
FromDhall Name Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Name #
ToDhall Name Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Name #
Eq Name Source #
Instance details Defined in Horizon.Spec Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details 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 Source #

Constructors

MkVersion
Fields fromVersion :: Text

Instances

Instances details

Show Version Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #
FromDhall Version Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Version #
ToDhall Version Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Version #
Eq Version Source #
Instance details Defined in Horizon.Spec Methods (==) :: Version -> Version -> Bool # (/=) :: Version -> Version -> Bool #

data GitSource where Source #

Constructors

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

Instances

Instances details

Generic GitSource Source #
Instance details Defined in Horizon.Spec Associated Types type Rep GitSource :: Type -> Type # Methods from :: GitSource -> Rep GitSource x # to :: Rep GitSource x -> GitSource #
Show GitSource Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> GitSource -> ShowS # show :: GitSource -> String # showList :: [GitSource] -> ShowS #
FromDhall GitSource Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder GitSource #
ToDhall GitSource Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder GitSource #
Eq GitSource Source #
Instance details Defined in Horizon.Spec Methods (==) :: GitSource -> GitSource -> Bool # (/=) :: GitSource -> GitSource -> Bool #
type Rep GitSource Source #
Instance details 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 Source #

Constructors

MkHackageSource
Fields :: { name :: Name , version :: Version } -> HackageSource

Instances

Instances details

Generic HackageSource Source #
Instance details Defined in Horizon.Spec Associated Types type Rep HackageSource :: Type -> Type # Methods from :: HackageSource -> Rep HackageSource x # to :: Rep HackageSource x -> HackageSource #
Show HackageSource Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> HackageSource -> ShowS # show :: HackageSource -> String # showList :: [HackageSource] -> ShowS #
FromDhall HackageSource Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder HackageSource #
ToDhall HackageSource Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder HackageSource #
Eq HackageSource Source #
Instance details Defined in Horizon.Spec Methods (==) :: HackageSource -> HackageSource -> Bool # (/=) :: HackageSource -> HackageSource -> Bool #
type Rep HackageSource Source #
Instance details 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 Source #

Constructors

FromGit :: GitSource -> HaskellSource
FromHackage :: HackageSource -> HaskellSource

Instances

Instances details

Generic HaskellSource Source #
Instance details Defined in Horizon.Spec Associated Types type Rep HaskellSource :: Type -> Type # Methods from :: HaskellSource -> Rep HaskellSource x # to :: Rep HaskellSource x -> HaskellSource #
Show HaskellSource Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> HaskellSource -> ShowS # show :: HaskellSource -> String # showList :: [HaskellSource] -> ShowS #
FromDhall HaskellSource Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder HaskellSource #
ToDhall HaskellSource Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder HaskellSource #
Eq HaskellSource Source #
Instance details Defined in Horizon.Spec Methods (==) :: HaskellSource -> HaskellSource -> Bool # (/=) :: HaskellSource -> HaskellSource -> Bool #
type Rep HaskellSource Source #
Instance details 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 Source #

Constructors

Enable :: a -> Flag a
Disable :: a -> Flag a

Instances

Instances details

Generic (Flag a) Source #
Instance details 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) Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Flag a -> ShowS # show :: Flag a -> String # showList :: [Flag a] -> ShowS #
FromDhall a => FromDhall (Flag a) Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder (Flag a) #
ToDhall a => ToDhall (Flag a) Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder (Flag a) #
Eq a => Eq (Flag a) Source #
Instance details Defined in Horizon.Spec Methods (==) :: Flag a -> Flag a -> Bool # (/=) :: Flag a -> Flag a -> Bool #
type Rep (Flag a) Source #
Instance details 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 Source #

Constructors

MkCabalFlag :: Flag Text -> CabalFlag

Instances

Instances details

Generic CabalFlag Source #
Instance details Defined in Horizon.Spec Associated Types type Rep CabalFlag :: Type -> Type # Methods from :: CabalFlag -> Rep CabalFlag x # to :: Rep CabalFlag x -> CabalFlag #
Show CabalFlag Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> CabalFlag -> ShowS # show :: CabalFlag -> String # showList :: [CabalFlag] -> ShowS #
FromDhall CabalFlag Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder CabalFlag #
ToDhall CabalFlag Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder CabalFlag #
Eq CabalFlag Source #
Instance details Defined in Horizon.Spec Methods (==) :: CabalFlag -> CabalFlag -> Bool # (/=) :: CabalFlag -> CabalFlag -> Bool #
type Rep CabalFlag Source #
Instance details 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 Source #

Constructors

MkModifiers
Fields :: { doJailbreak :: Bool , doCheck :: Bool , enableProfiling :: Bool } -> Modifiers

Instances

Instances details

Generic Modifiers Source #
Instance details Defined in Horizon.Spec Associated Types type Rep Modifiers :: Type -> Type # Methods from :: Modifiers -> Rep Modifiers x # to :: Rep Modifiers x -> Modifiers #
Show Modifiers Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Modifiers -> ShowS # show :: Modifiers -> String # showList :: [Modifiers] -> ShowS #
FromDhall Modifiers Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Modifiers #
ToDhall Modifiers Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Modifiers #
Eq Modifiers Source #
Instance details Defined in Horizon.Spec Methods (==) :: Modifiers -> Modifiers -> Bool # (/=) :: Modifiers -> Modifiers -> Bool #
type Rep Modifiers Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Generic HaskellPackage Source #
Instance details Defined in Horizon.Spec Associated Types type Rep HaskellPackage :: Type -> Type # Methods from :: HaskellPackage -> Rep HaskellPackage x # to :: Rep HaskellPackage x -> HaskellPackage #
Show HaskellPackage Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> HaskellPackage -> ShowS # show :: HaskellPackage -> String # showList :: [HaskellPackage] -> ShowS #
FromDhall HaskellPackage Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder HaskellPackage #
ToDhall HaskellPackage Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder HaskellPackage #
Eq HaskellPackage Source #
Instance details Defined in Horizon.Spec Methods (==) :: HaskellPackage -> HaskellPackage -> Bool # (/=) :: HaskellPackage -> HaskellPackage -> Bool #
type Rep HaskellPackage Source #
Instance details 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 Source #

Constructors

MkRevision
Fields :: { fromRevision :: Text } -> Revision

Instances

Instances details

Generic Revision Source #
Instance details Defined in Horizon.Spec Associated Types type Rep Revision :: Type -> Type # Methods from :: Revision -> Rep Revision x # to :: Rep Revision x -> Revision #
Show Revision Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Revision -> ShowS # show :: Revision -> String # showList :: [Revision] -> ShowS #
FromDhall Revision Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Revision #
ToDhall Revision Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Revision #
Eq Revision Source #
Instance details Defined in Horizon.Spec Methods (==) :: Revision -> Revision -> Bool # (/=) :: Revision -> Revision -> Bool #
type Rep Revision Source #
Instance details 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 Source #

Constructors

MkCompiler
Fields :: { fromCompiler :: Text } -> Compiler

Instances

Instances details

Generic Compiler Source #
Instance details Defined in Horizon.Spec Associated Types type Rep Compiler :: Type -> Type # Methods from :: Compiler -> Rep Compiler x # to :: Rep Compiler x -> Compiler #
Show Compiler Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Compiler -> ShowS # show :: Compiler -> String # showList :: [Compiler] -> ShowS #
FromDhall Compiler Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Compiler #
ToDhall Compiler Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Compiler #
Eq Compiler Source #
Instance details Defined in Horizon.Spec Methods (==) :: Compiler -> Compiler -> Bool # (/=) :: Compiler -> Compiler -> Bool #
type Rep Compiler Source #
Instance details 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 Source #

Constructors

MkPackageList
Fields :: { fromPackageList :: Map Name HaskellPackage } -> PackageList

Instances

Instances details

Generic PackageList Source #
Instance details Defined in Horizon.Spec Associated Types type Rep PackageList :: Type -> Type # Methods from :: PackageList -> Rep PackageList x # to :: Rep PackageList x -> PackageList #
Show PackageList Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> PackageList -> ShowS # show :: PackageList -> String # showList :: [PackageList] -> ShowS #
FromDhall PackageList Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder PackageList #
ToDhall PackageList Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder PackageList #
Eq PackageList Source #
Instance details Defined in Horizon.Spec Methods (==) :: PackageList -> PackageList -> Bool # (/=) :: PackageList -> PackageList -> Bool #
type Rep PackageList Source #
Instance details 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 Source #

Constructors

MkOverlay
Fields :: { fromOverlay :: PackageList } -> Overlay

Instances

Instances details

Generic Overlay Source #
Instance details Defined in Horizon.Spec Associated Types type Rep Overlay :: Type -> Type # Methods from :: Overlay -> Rep Overlay x # to :: Rep Overlay x -> Overlay #
Show Overlay Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> Overlay -> ShowS # show :: Overlay -> String # showList :: [Overlay] -> ShowS #
FromDhall Overlay Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder Overlay #
ToDhall Overlay Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder Overlay #
Eq Overlay Source #
Instance details Defined in Horizon.Spec Methods (==) :: Overlay -> Overlay -> Bool # (/=) :: Overlay -> Overlay -> Bool #
type Rep Overlay Source #
Instance details 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 Source #

Constructors

MkPackageSet
Fields :: { compiler :: Compiler , packages :: PackageList } -> PackageSet

Instances

Instances details

Generic PackageSet Source #
Instance details Defined in Horizon.Spec Associated Types type Rep PackageSet :: Type -> Type # Methods from :: PackageSet -> Rep PackageSet x # to :: Rep PackageSet x -> PackageSet #
Show PackageSet Source #
Instance details Defined in Horizon.Spec Methods showsPrec :: Int -> PackageSet -> ShowS # show :: PackageSet -> String # showList :: [PackageSet] -> ShowS #
FromDhall PackageSet Source #
Instance details Defined in Horizon.Spec Methods autoWith :: InputNormalizer -> Decoder PackageSet #
ToDhall PackageSet Source #
Instance details Defined in Horizon.Spec Methods injectWith :: InputNormalizer -> Encoder PackageSet #
Eq PackageSet Source #
Instance details Defined in Horizon.Spec Methods (==) :: PackageSet -> PackageSet -> Bool # (/=) :: PackageSet -> PackageSet -> Bool #
type Rep PackageSet Source #
Instance details 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)))