@@ -125,41 +125,21 @@ transform(t, x) == transform(t)(x)
125125"""
126126function transform end
127127
128+ transform (t:: AbstractTransform ) = Base. Fix1 (transform, t)
129+
128130"""
129131$(TYPEDEF)
130132
131133Partial application of `transform(t, x)`, callable with `x`. Use `transform(t)` to
132134construct.
133135"""
134- struct CallableTransform{T}
135- t:: T
136- end
137-
138- (f:: CallableTransform )(x) = transform (f. t, x)
136+ const CallableTransform{T} = Base. Fix1{typeof (transform),T} where {T<: AbstractTransform }
139137
140138function Base. show (io:: IO , f:: CallableTransform )
141- print (io, " callable for the transformation $(f. t) " )
142- end
143-
144- transform (t) = CallableTransform (t)
145-
146- """
147- $(TYPEDEF)
148-
149- Partial application of `inverse(t, y)`, callable with `y`. Use `inverse(t)` to
150- construct.
151- """
152- struct CallableInverse{T}
153- t:: T
154- end
155-
156- function Base. show (io:: IO , f:: CallableInverse )
157- print (io, " callable inverse for the transformation $(f. t) " )
139+ print (io, " callable for the transformation " , f. x)
158140end
159141
160- inverse (f:: CallableInverse ) = CallableTransform (f. t)
161-
162- inverse (f:: CallableTransform ) = CallableInverse (f. t)
142+ inverse (f:: CallableTransform ) = Base. Fix1 (inverse, f. x)
163143
164144"""
165145`$(FUNCTIONNAME) (t, y)`
@@ -174,9 +154,21 @@ with transform, so the following holds:
174154inverse(t)(y) == inverse(t, y) == inverse(transform(t))(y)
175155```
176156"""
177- inverse (t:: AbstractTransform ) = CallableInverse (t)
157+ inverse (t:: AbstractTransform ) = Base. Fix1 (inverse, t)
158+
159+ """
160+ $(TYPEDEF)
161+
162+ Partial application of `inverse(t, y)`, callable with `y`. Use `inverse(t)` to
163+ construct.
164+ """
165+ const CallableInverse{T} = Base. Fix1{typeof (inverse),T} where {T<: AbstractTransform }
166+
167+ function Base. show (io:: IO , f:: CallableInverse )
168+ print (io, " callable inverse for the transformation " , f. x)
169+ end
178170
179- (f:: CallableInverse )(y) = inverse (f . t, y )
171+ inverse (f:: CallableInverse ) = Base . Fix1 (transform, f . x )
180172
181173"""
182174`$(FUNCTIONNAME) (t::AbstractTransform, y)`
0 commit comments