From 8f0f67ad1a2d4da9e1ffef63c811a70bf44934a7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 17 Sep 2024 21:52:44 +0000 Subject: [PATCH] [ docs ] CI docs generation https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10911153148 --- .../docs/Deriving.DepTyCheck.Gen.Checked.html | 2 +- ...ng.DepTyCheck.Gen.Core.ConsDerive.src.html | 374 +++-- ...ing.DepTyCheck.Gen.Core.ConsEntry.src.html | 198 ++- .../Deriving.DepTyCheck.Gen.Core.Util.html | 2 +- .../docs/Deriving.DepTyCheck.Gen.Derive.html | 2 +- .../Deriving.DepTyCheck.Gen.Entry.src.html | 510 ++++--- .../Deriving.DepTyCheck.Util.Logging.html | 2 +- .../Deriving.DepTyCheck.Util.Reflection.html | 2 +- ...riving.DepTyCheck.Util.Reflection.src.html | 677 ++++----- .../docs/docs/Language.Reflection.Compat.html | 2 +- .../docs/Test.DepTyCheck.Gen.Coverage.html | 2 +- .../docs/Test.DepTyCheck.Gen.Emptiness.html | 2 +- .../docs/docs/Test.DepTyCheck.Gen.Labels.html | 2 +- .../docs/docs/Test.DepTyCheck.Gen.html | 2 +- .../docs/docs/System.Linux.Inotify.Flags.html | 2 +- .../linux/docs/docs/System.Linux.Inotify.html | 2 +- .../docs/docs/System.Linux.Inotify.src.html | 61 +- docs/linux/docs/docs/System.Linux.Pipe.html | 64 + .../docs/docs/System.Linux.Pipe.src.html | 158 +++ .../docs/docs/System.Linux.Pthreads.html | 64 + .../docs/docs/System.Linux.Pthreads.src.html | 142 ++ .../docs/System.Linux.Signalfd.Flags.html | 2 +- .../docs/docs/System.Linux.Signalfd.html | 2 +- .../docs/docs/System.Linux.Signalfd.src.html | 25 +- .../docs/docs/System.Linux.Timerfd.Flags.html | 2 +- .../linux/docs/docs/System.Linux.Timerfd.html | 2 +- .../docs/docs/System.Linux.Timerfd.src.html | 21 +- .../docs/docs/System.Linux.User.Passwd.html | 2 +- docs/linux/docs/index.html | 18 + docs/posix/docs/docs/System.Posix.Dir.html | 2 +- .../posix/docs/docs/System.Posix.Dir.src.html | 55 +- .../docs/docs/System.Posix.Errno.Type.html | 2 +- .../docs/System.Posix.Errno.Type.src.html | 1208 +++++++++++------ docs/posix/docs/docs/System.Posix.Errno.html | 2 +- .../docs/docs/System.Posix.Errno.src.html | 121 +- .../docs/docs/System.Posix.File.Flags.html | 2 +- .../docs/System.Posix.File.Flags.src.html | 2 +- .../docs/docs/System.Posix.File.Stats.html | 2 +- .../docs/System.Posix.File.Stats.src.html | 10 +- .../docs/docs/System.Posix.File.Type.html | 2 +- .../docs/docs/System.Posix.File.Whence.html | 2 +- docs/posix/docs/docs/System.Posix.File.html | 2 +- .../docs/docs/System.Posix.File.src.html | 701 +++++----- docs/posix/docs/docs/System.Posix.Pipe.html | 64 + .../docs/docs/System.Posix.Pipe.src.html | 154 +++ .../docs/docs/System.Posix.Process.Flags.html | 2 +- .../posix/docs/docs/System.Posix.Process.html | 2 +- .../docs/docs/System.Posix.Process.src.html | 249 ++-- .../docs/System.Posix.Pthreads.Types.html | 2 +- .../docs/docs/System.Posix.Pthreads.html | 2 +- .../docs/docs/System.Posix.Pthreads.src.html | 573 ++++---- .../docs/docs/System.Posix.Signal.Types.html | 2 +- docs/posix/docs/docs/System.Posix.Signal.html | 2 +- .../docs/docs/System.Posix.Signal.src.html | 439 +++--- docs/posix/docs/docs/System.Posix.Time.html | 2 +- .../docs/docs/System.Posix.Timer.Types.html | 2 +- docs/posix/docs/docs/System.Posix.Timer.html | 2 +- .../docs/docs/System.Posix.Timer.src.html | 33 +- docs/posix/docs/index.html | 9 + 59 files changed, 3522 insertions(+), 2476 deletions(-) create mode 100644 docs/linux/docs/docs/System.Linux.Pipe.html create mode 100644 docs/linux/docs/docs/System.Linux.Pipe.src.html create mode 100644 docs/linux/docs/docs/System.Linux.Pthreads.html create mode 100644 docs/linux/docs/docs/System.Linux.Pthreads.src.html create mode 100644 docs/posix/docs/docs/System.Posix.Pipe.html create mode 100644 docs/posix/docs/docs/System.Posix.Pipe.src.html diff --git a/docs/deptycheck/docs/docs/Deriving.DepTyCheck.Gen.Checked.html b/docs/deptycheck/docs/docs/Deriving.DepTyCheck.Gen.Checked.html index d5e6bde27..90098275b 100644 --- a/docs/deptycheck/docs/docs/Deriving.DepTyCheck.Gen.Checked.html +++ b/docs/deptycheck/docs/docs/Deriving.DepTyCheck.Gen.Checked.html @@ -62,4 +62,4 @@
A bridge between a single act of derivation and a user derivation task -
import public Control.Monad.Either
import public Control.Monad.Reader
import public Control.Monad.State
import public Control.Monad.State.Tuple
import public Control.Monad.Writer
import public Control.Monad.RWS
import public Data.DPair
import public Data.SortedMap
import public Data.SortedMap.Extra
import public Data.SortedSet
import public Decidable.Equality
import public Deriving.DepTyCheck.Gen.Derive
import public Deriving.DepTyCheck.Util.Reflection
data ArgExplicitness : Type
.toTT : ArgExplicitness -> PiInfo a
record ExternalGenSignature : Type
MkExternalGenSignature : (targetType : TypeInfo) -> {auto 0 _ : AllTyArgsNamed targetType} -> SortedMap (Fin ((targetType .args) .length)) (ArgExplicitness, Name) -> ExternalGenSignature
.givenParams : ({rec:0} : ExternalGenSignature) -> SortedMap (Fin (((targetType {rec:0}) .args) .length)) (ArgExplicitness, Name)
.targetType : ExternalGenSignature -> TypeInfo
0 .targetTypeCorrect : ({rec:0} : ExternalGenSignature) -> AllTyArgsNamed (targetType {rec:0})
.targetType : ExternalGenSignature -> TypeInfo
targetType : ExternalGenSignature -> TypeInfo
0 .targetTypeCorrect : ({rec:0} : ExternalGenSignature) -> AllTyArgsNamed (targetType {rec:0})
0 targetTypeCorrect : ({rec:0} : ExternalGenSignature) -> AllTyArgsNamed (targetType {rec:0})
.givenParams : ({rec:0} : ExternalGenSignature) -> SortedMap (Fin (((targetType {rec:0}) .args) .length)) (ArgExplicitness, Name)
givenParams : ({rec:0} : ExternalGenSignature) -> SortedMap (Fin (((targetType {rec:0}) .args) .length)) (ArgExplicitness, Name)
characteristics : ExternalGenSignature -> (String, List Nat)
internalise : (extSig : ExternalGenSignature) -> Subset GenSignature (\sig => (sig .givenParams) .size = (extSig .givenParams) .size)
runCanonic : DerivatorCore => NamesInfoInTypes => SortedMap ExternalGenSignature Name -> (CanonicGen m => m a) -> Elab (a, List Decl)