All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
<C> View<C,B> |
compose(View<C,A> that) |
static <A,B> View<A,B> |
create(String name,
Type<A> type,
Type<B> newType,
(DynamicOps<?>) -> (A) -> B function) |
static <A,B> View<A,B> |
create(Type<A> type,
Type<B> newType,
PointFree<(A) -> B> function) |
boolean |
equals(Object o) |
<C> View<A,C> |
flatMap((Type<B>) -> View<B,C> function) |
PointFree<(A) -> B> |
function() |
Type<(A) -> B> |
getFuncType() |
int |
hashCode() |
Type<B> |
newType() |
static <A> View<A,A> |
nopView(Type<A> type) |
Optional<? extends View<A,B>> |
rewrite(PointFreeRule rule) |
View<A,B> |
rewriteOrNop(PointFreeRule rule) |
String |
toString() |
Type<A> |
type() |