git.iko.soy/Idris-dev
on master help sign in
Correct a couple of minor typos in the effects package idrisdoc
commitc67d49cf051812be1a435264a92e3d6d0bd16945 authorMolly Miller <sysvinit@users.noreply.github.com> dateSat 26 Oct 2019, 21:24 (7 years ago) parent095fb31
3 files changed+7−7
compare with master
unifiedsplit
libs/effects/Effect/File.idr+4−4 libs/effects/Effect/Logging/Category.idr+2−2 libs/effects/Effect/Perf.idr+1−1
libs/effects/Effect/File.idr+4−4
@@ -73,8 +73,8 @@ data FileHandle : (m : Mode) -> Type where
7373-- ---------------------------------------------- [ Resource Type Construction ]
7474
7575||| Calculates the type for the resource being computed over. `Unit`
76−||| to describe pre-and-post file handle acquisistion, and `FileHandle
77−||| m` when a file handle has been aqcuired.
76+||| to describe pre-and-post file handle acquisition, and `FileHandle
77+||| m` when a file handle has been acquired.
7878|||
7979||| @m The mode the file handle was generated under.
8080||| @ty The functions return type.
@@ -315,7 +315,7 @@ R = FileHandle Read
315315W : Type
316316W = FileHandle WriteTruncate
317317
318−||| A file can only be appeneded to.
318+||| A file can only be appended to.
319319A : Type
320320A = FileHandle Append
321321
@@ -324,7 +324,7 @@ RW : Type
324324RW = FileHandle ReadWrite
325325
326326||| A file opened for reading and writing and has been truncated to
327−||| zero if it previsiouly existed.
327+||| zero if it previously existed.
328328RWPlus : Type
329329RWPlus = FileHandle ReadWriteTruncate
330330
libs/effects/Effect/Logging/Category.idr+2−2
@@ -130,7 +130,7 @@ initLogger l cs = call $ InitLogger l cs
130130|||
131131||| @l The logging level.
132132||| @cs The logging categories.
133−||| @m THe message to be logged.
133+||| @m The message to be logged.
134134log : (Show a, Eq a) => (l : LogLevel n)
135135 -> (cs : List a)
136136 -> (m : String)
@@ -141,7 +141,7 @@ log l cs msg = call $ Log l cs msg
141141|||
142142||| @l The logging level.
143143||| @cs The logging categories.
144−||| @m THe message to be logged.
144+||| @m The message to be logged.
145145logN : (Show a, Eq a) => (l : Nat)
146146 -> {auto prf : LTE l 70}
147147 -> (cs : List a)
libs/effects/Effect/Perf.idr+1−1
@@ -193,7 +193,7 @@ collectPMetrics b = call $ TurnOn b
193193collectPMetricsAndShow : Eff () [PERF]
194194collectPMetricsAndShow = call $ TurnOn True
195195
196−||| Return gatheres metrics
196+||| Return gathered metrics
197197getPerfMetrics : Eff PMetrics [PERF]
198198getPerfMetrics = call $ GetMetrics
199199