Examples with SetSetConst catdata.fqlpp.FunctorExp.SetSetConst used on opensource projects

Example 1 with SetSetConst

use of catdata.fqlpp.FunctorExp.SetSetConst in project fql by CategoricalData.

the class PPParser method toSetSet.

private static FunctorExp toSetSet(Object decl) {
    Tuple3 y = (Tuple3) decl;
    org.jparsec.functors.Pair x = (org.jparsec.functors.Pair) y.a;
    Tuple3 nodes = (Tuple3) x.a;
    Tuple3 arrows = (Tuple3) x.b;
    Tuple3 nodes0 = (Tuple3) nodes.b;
    Tuple3 arrows0 = (Tuple3) arrows.b;
    Tuple5 arrows1 = (Tuple5) arrows0.a;
    SetSetConst ret = new SetSetConst(nodes0.a.toString(), toSet(nodes0.c), arrows1.a.toString(), arrows1.c.toString(), arrows1.e.toString(), toFn(arrows0.c));
    return ret;
}