Pack.Runner.Query

Definitions

record AppInfo : Package -> Type

Totality: total
Visibility: public export
Constructor: 

AI : Body -> AppStatus p -> AppInfo p

Projections:

.exec : AppInfo p -> Body

.status : AppInfo p -> AppStatus p

.exec : AppInfo p -> Body

Totality: total
Visibility: public export

exec : AppInfo p -> Body

Totality: total
Visibility: public export

.status : AppInfo p -> AppStatus p

Totality: total
Visibility: public export

status : AppInfo p -> AppStatus p

Totality: total
Visibility: public export

record QPkg : Type

Totality: total
Visibility: public export
Constructor: 

QP : (lib : ResolvedLib U) -> Maybe (AppInfo (lib .pkg)) -> QPkg

Projections:

.app : ({rec:0} : QPkg) -> Maybe (AppInfo ((lib {rec:0}) .pkg))

.lib : QPkg -> ResolvedLib U

.lib : QPkg -> ResolvedLib U

Totality: total
Visibility: public export

lib : QPkg -> ResolvedLib U

Totality: total
Visibility: public export

.app : ({rec:0} : QPkg) -> Maybe (AppInfo ((lib {rec:0}) .pkg))

Totality: total
Visibility: public export

app : ({rec:0} : QPkg) -> Maybe (AppInfo ((lib {rec:0}) .pkg))

Totality: total
Visibility: public export

name : QPkg -> PkgName

Totality: total
Visibility: export

nameStr : QPkg -> String

Totality: total
Visibility: export

dependencies : QPkg -> List PkgName

Totality: total
Visibility: export

isApp : QPkg -> Bool

Totality: total
Visibility: export

installedLib : QPkg -> Bool

Totality: total
Visibility: export

installedApp : QPkg -> Bool

Totality: total
Visibility: export

resolveAll : HasIO io => Env => EitherT PackErr io (SortedMap PkgName (ResolvedLib U), List QPkg)

Visibility: export

query : HasIO io => QueryMode -> String -> Env -> EitherT PackErr io ()

Visibility: export

infoString : Env => List QPkg -> String

Totality: total
Visibility: export

printInfo : HasIO io => Env -> EitherT PackErr io ()

Visibility: export

fuzzy : HasIO io => List PkgName -> String -> IdrisEnv -> EitherT PackErr io ()

Visibility: export