Documentation
class ComposeType n a b c | n a b -> cSource
(TypeCast d a, TypeCast e c, TypeCast f b) => ComposeType Z (b -> c) (a -> f) (d -> e) | |
ComposeType n (b -> c) s t => ComposeType (S n) (b -> c) (a -> s) (a -> t) |
class Compose n a b c | n a b -> c whereSource
(ComposeType n (b -> c) (a -> f) (d -> e), Apply (C (b -> c) (a -> f)) n ((b -> c) -> (a -> f) -> d -> e)) => Compose n (b -> c) (a -> f) (d -> e) |