Documentation
class Idiomatic st f g | g -> f st whereSource
Idiomatic st x (Ii -> P st x) | |
Idiomatic st f g => Idiomatic st ((a -> b) -> f) ((a -> b) -> g) | |
Idiomatic st f g => Idiomatic st (a -> f) (P st a -> g) | |
(Idiomatic (Str Char state loc) f g, IsLocationUpdatedBy loc Char, ListLike state Char) => Idiomatic (Str Char state loc) f (Char -> g) | |
(Idiomatic (Str Char state loc) f g, IsLocationUpdatedBy loc Char, ListLike state Char) => Idiomatic (Str Char state loc) f (String -> g) |