Safe Haskell	None
Language	Haskell2010

CabalToDhall

Documentation

cabalToDhall :: DhallLocation -> GenericPackageDescription -> Expr Src Import Source #

parseGenericPackageDescriptionThrows :: ByteString -> IO GenericPackageDescription Source #

data KnownDefault Source #

Constructors

CompilerOptions
BuildInfo
Library
Executable
Benchmark
TestSuite
Package
SourceRepo

Instances

Bounded KnownDefault Source #
Instance details Defined in CabalToDhall Methods minBound :: KnownDefault # maxBound :: KnownDefault #
Enum KnownDefault Source #
Instance details Defined in CabalToDhall Methods succ :: KnownDefault -> KnownDefault # pred :: KnownDefault -> KnownDefault # toEnum :: Int -> KnownDefault # fromEnum :: KnownDefault -> Int # enumFrom :: KnownDefault -> [KnownDefault] # enumFromThen :: KnownDefault -> KnownDefault -> [KnownDefault] # enumFromTo :: KnownDefault -> KnownDefault -> [KnownDefault] # enumFromThenTo :: KnownDefault -> KnownDefault -> KnownDefault -> [KnownDefault] #
Eq KnownDefault Source #
Instance details Defined in CabalToDhall Methods (==) :: KnownDefault -> KnownDefault -> Bool # (/=) :: KnownDefault -> KnownDefault -> Bool #
Ord KnownDefault Source #
Instance details Defined in CabalToDhall Methods compare :: KnownDefault -> KnownDefault -> Ordering # (<) :: KnownDefault -> KnownDefault -> Bool # (<=) :: KnownDefault -> KnownDefault -> Bool # (>) :: KnownDefault -> KnownDefault -> Bool # (>=) :: KnownDefault -> KnownDefault -> Bool # max :: KnownDefault -> KnownDefault -> KnownDefault # min :: KnownDefault -> KnownDefault -> KnownDefault #
Read KnownDefault Source #
Instance details Defined in CabalToDhall Methods readsPrec :: Int -> ReadS KnownDefault # readList :: ReadS [KnownDefault] # readPrec :: ReadPrec KnownDefault # readListPrec :: ReadPrec [KnownDefault] #
Show KnownDefault Source #
Instance details Defined in CabalToDhall Methods showsPrec :: Int -> KnownDefault -> ShowS # show :: KnownDefault -> String # showList :: [KnownDefault] -> ShowS #

data PreludeReference Source #

Constructors

PreludeDefault KnownDefault
PreludeConstructorsLicense
PreludeConstructorsRepoKind
PreludeConstructorsScope
PreludeV

resolvePreludeVar :: PreludeReference -> Expr s a Source #

getDefault :: Eq s => Import -> (PreludeReference -> Expr s Import) -> KnownDefault -> Expr s Import Source #