git.iko.soy/Idris-dev
on master help sign in
Fix a typo in the Cast documentation
053ffdcIlan Godik
libs/prelude/Prelude/Cast.idr+1−1
compare with master
unifiedsplit
@@ -3,7 +3,7 @@ module Prelude.Cast
3import Prelude.Bool
3import Prelude.Bool
4import public Builtins
4import public Builtins
5
5
6−||| Type class for transforming a instance of a data type to another type.
6+||| Type class for transforming an instance of a data type to another type.
7class Cast from to where
7class Cast from to where
8 ||| Perform a cast operation.
8 ||| Perform a cast operation.
9 |||
9 |||