idris

Safe Haskell	None

Pkg.PParser

Documentation

type PParser = StateT PkgDesc IdrisInnerParser Source

data PkgDesc Source

Constructors

PkgDesc
Fields pkgname :: String libdeps :: [String] objs :: [String] makefile :: Maybe String idris_opts :: [Opt] sourcedir :: String modules :: [Name] idris_main :: Name execout :: Maybe String

Instances

defaultPkg :: PkgDesc Source

parseDesc :: FilePath -> IO PkgDesc Source

pPkg :: PParser PkgDesc Source

pClause :: PParser ()Source