git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4773 from sysvinit/effects-docs-typos
103a454Niklas Larsson
libs/effects/Effect/File.idr+4−4
compare with master
unifiedsplit
@@ -73,8 +73,8 @@ data FileHandle : (m : Mode) -> Type where
73-- ---------------------------------------------- [ Resource Type Construction ]
73-- ---------------------------------------------- [ Resource Type Construction ]
74
74
75||| Calculates the type for the resource being computed over. `Unit`
75||| Calculates the type for the resource being computed over. `Unit`
76−||| to describe pre-and-post file handle acquisistion, and `FileHandle
76+||| to describe pre-and-post file handle acquisition, and `FileHandle
77−||| m` when a file handle has been aqcuired.
77+||| m` when a file handle has been acquired.
78|||
78|||
79||| @m The mode the file handle was generated under.
79||| @m The mode the file handle was generated under.
80||| @ty The functions return type.
80||| @ty The functions return type.
@@ -315,7 +315,7 @@ R = FileHandle Read
315W : Type
315W : Type
316W = FileHandle WriteTruncate
316W = FileHandle WriteTruncate
317
317
318−||| A file can only be appeneded to.
318+||| A file can only be appended to.
319A : Type
319A : Type
320A = FileHandle Append
320A = FileHandle Append
321
321
@@ -324,7 +324,7 @@ RW : Type
324RW = FileHandle ReadWrite
324RW = FileHandle ReadWrite
325
325
326||| A file opened for reading and writing and has been truncated to
326||| A file opened for reading and writing and has been truncated to
327−||| zero if it previsiouly existed.
327+||| zero if it previously existed.
328RWPlus : Type
328RWPlus : Type
329RWPlus = FileHandle ReadWriteTruncate
329RWPlus = FileHandle ReadWriteTruncate
330
330
libs/effects/Effect/Logging/Category.idr+2−2
@@ -130,7 +130,7 @@ initLogger l cs = call $ InitLogger l cs
130|||
130|||
131||| @l The logging level.
131||| @l The logging level.
132||| @cs The logging categories.
132||| @cs The logging categories.
133−||| @m THe message to be logged.
133+||| @m The message to be logged.
134log : (Show a, Eq a) => (l : LogLevel n)
134log : (Show a, Eq a) => (l : LogLevel n)
135 -> (cs : List a)
135 -> (cs : List a)
136 -> (m : String)
136 -> (m : String)
@@ -141,7 +141,7 @@ log l cs msg = call $ Log l cs msg
141|||
141|||
142||| @l The logging level.
142||| @l The logging level.
143||| @cs The logging categories.
143||| @cs The logging categories.
144−||| @m THe message to be logged.
144+||| @m The message to be logged.
145logN : (Show a, Eq a) => (l : Nat)
145logN : (Show a, Eq a) => (l : Nat)
146 -> {auto prf : LTE l 70}
146 -> {auto prf : LTE l 70}
147 -> (cs : List a)
147 -> (cs : List a)
libs/effects/Effect/Perf.idr+1−1
@@ -193,7 +193,7 @@ collectPMetrics b = call $ TurnOn b
193collectPMetricsAndShow : Eff () [PERF]
193collectPMetricsAndShow : Eff () [PERF]
194collectPMetricsAndShow = call $ TurnOn True
194collectPMetricsAndShow = call $ TurnOn True
195
195
196−||| Return gatheres metrics
196+||| Return gathered metrics
197getPerfMetrics : Eff PMetrics [PERF]
197getPerfMetrics : Eff PMetrics [PERF]
198getPerfMetrics = call $ GetMetrics
198getPerfMetrics = call $ GetMetrics
199
199