module Idris.Package.Common where
import Idris.Core.TT (Name)
import Idris.Imports
import Idris.Options (Opt(..))
data PkgDesc = PkgDesc {
PkgDesc -> PkgName
pkgname :: PkgName
, PkgDesc -> [PkgName]
pkgdeps :: [PkgName]
, PkgDesc -> Maybe String
pkgbrief :: Maybe String
, PkgDesc -> Maybe String
pkgversion :: Maybe String
, PkgDesc -> Maybe String
pkgreadme :: Maybe String
, PkgDesc -> Maybe String
pkglicense :: Maybe String
, PkgDesc -> Maybe String
pkgauthor :: Maybe String
, PkgDesc -> Maybe String
pkgmaintainer :: Maybe String
, PkgDesc -> Maybe String
pkghomepage :: Maybe String
, PkgDesc -> Maybe String
pkgsourceloc :: Maybe String
, PkgDesc -> Maybe String
pkgbugtracker :: Maybe String
, PkgDesc -> [String]
libdeps :: [String]
, PkgDesc -> [String]
objs :: [String]
, PkgDesc -> Maybe String
makefile :: Maybe String
, PkgDesc -> [Opt]
idris_opts :: [Opt]
, PkgDesc -> String
sourcedir :: String
, PkgDesc -> [Name]
modules :: [Name]
, PkgDesc -> Maybe Name
idris_main :: Maybe Name
, PkgDesc -> Maybe String
execout :: Maybe String
, PkgDesc -> [Name]
idris_tests :: [Name]
} deriving (Int -> PkgDesc -> ShowS
[PkgDesc] -> ShowS
PkgDesc -> String
(Int -> PkgDesc -> ShowS)
-> (PkgDesc -> String) -> ([PkgDesc] -> ShowS) -> Show PkgDesc
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PkgDesc -> ShowS
showsPrec :: Int -> PkgDesc -> ShowS
$cshow :: PkgDesc -> String
show :: PkgDesc -> String
$cshowList :: [PkgDesc] -> ShowS
showList :: [PkgDesc] -> ShowS
Show)
defaultPkg :: PkgDesc
defaultPkg :: PkgDesc
defaultPkg = PkgName
-> [PkgName]
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> Maybe String
-> [String]
-> [String]
-> Maybe String
-> [Opt]
-> String
-> [Name]
-> Maybe Name
-> Maybe String
-> [Name]
-> PkgDesc
PkgDesc PkgName
unInitializedPkgName [] Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
Maybe String
forall a. Maybe a
Nothing [] [] Maybe String
forall a. Maybe a
Nothing [] String
"" [] Maybe Name
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing []