Examples with Functor catdata.fqlpp.cat.Functor used on opensource projects

Example 11 with Functor

use of catdata.fqlpp.cat.Functor in project fql by CategoricalData.

the class CatOps method visit.

@Override
public Functor visit(FQLPPProgram env, Prod e) {
    Functor l = e.l.accept(env, this);
    Functor r = e.r.accept(env, this);
    if (FinSet.FinSet.equals(l.target) && FinSet.FinSet.equals(r.target)) {
        if (!l.source.equals(r.source)) {
            throw new RuntimeException("Source categories do not match");
        }
        return Inst.get(l.source).product(l, r);
    }
    if (FinCat.FinCat.equals(l.target) && FinCat.FinCat.equals(r.target)) {
        if (!l.source.equals(r.source)) {
            throw new RuntimeException("Source categories do not match");
        }
        return FunCat.get(l.source).product(l, r);
    }
    return FinCat.pair(l, r);
}

Example 12 with Functor

use of catdata.fqlpp.cat.Functor in project fql by CategoricalData.

the class CatOps method visit.

@Override
public Transform visit(FQLPPProgram env, ApplyPath e) {
    Functor F = e.F.accept(env, this);
    CatExp c = resolve(env, e.cat);
    if (!(c instanceof Const)) {
        throw new RuntimeException("Can only take paths in constant categories.");
    }
    Const C = (Const) c;
    Signature s = new Signature(C.nodes, C.arrows, C.eqs);
    Path n = s.path(e.node, e.edges);
    return (Transform) F.applyA(n);
}

Example 13 with Functor

use of catdata.fqlpp.cat.Functor in project fql by CategoricalData.

the class SetOps method visit.

@SuppressWarnings("unchecked")
@Override
public Fn visit(FQLPPProgram env, Apply e) {
    FunctorExp k = env.ftrs.get(e.f);
    if (k == null) {
        throw new RuntimeException("Missing functor: " + e.f);
    }
    Fn s = e.set.accept(env, this);
    Functor f = k.accept(env, new CatOps(ENV));
    if (!FinSet.FinSet.equals(f.source)) {
        throw new RuntimeException("Domain is not Set in " + e);
    }
    if (!FinSet.FinSet.equals(f.target)) {
        throw new RuntimeException("Codomain is not Set in " + e);
    }
    return (Fn) f.applyA(s);
}

Example 14 with Functor

use of catdata.fqlpp.cat.Functor in project fql by CategoricalData.

the class FqlppDisplay method doNTView.

@SuppressWarnings("unchecked")
private <X, Y> JComponent doNTView(Transform fn, JPanel p, Color clr, Graph<X, Y> sgv) {
    // Layout<X, Y> layout = new FRLayout<>(sgv);
    Layout<X, Y> layout = new FRLayout(sgv);
    layout.setSize(new Dimension(600, 400));
    VisualizationViewer<X, Y> vv = new VisualizationViewer<>(layout);
    Function<X, Paint> vertexPaint = z -> clr;
    DefaultModalGraphMouse<String, String> gm = new DefaultModalGraphMouse<>();
    gm.setMode(Mode.TRANSFORMING);
    vv.setGraphMouse(gm);
    gm.setMode(Mode.PICKING);
    vv.getRenderContext().setVertexFillPaintTransformer(vertexPaint);
    Function www = arg0 -> Util.nice(arg0.toString());
    vv.getRenderContext().setVertexLabelTransformer(www);
    vv.getRenderContext().setEdgeLabelTransformer(www);
    vv.getPickedVertexState().addItemListener((ItemEvent e) -> {
        if (e.getStateChange() != ItemEvent.SELECTED) {
            return;
        }
        vv.getPickedEdgeState().clear();
        X str = ((X) e.getItem());
        Object y = fn.apply(str);
        p.removeAll();
        if (y instanceof Functor) {
            Functor ttt = (Functor) y;
            JPanel sss = showFtr(ttt, getColor(ttt.source), null);
            p.add(sss);
        } else if (y instanceof Fn) {
            Fn ttt = (Fn) y;
            JPanel sss = showFn(ttt, getColor(ttt.source), getColor(ttt.target));
            p.add(sss);
        } else if (y instanceof Transform) {
            Transform ttt = (Transform) y;
            JPanel sss = showTrans(ttt, getColor(ttt.source));
            p.add(sss);
        } else {
            String sss = Util.nice(y.toString());
            p.add(new CodeTextPanel(BorderFactory.createEtchedBorder(), null, sss));
        }
        p.revalidate();
    });
    GraphZoomScrollPane zzz = new GraphZoomScrollPane(vv);
    JPanel ret = new JPanel(new GridLayout(1, 1));
    ret.add(zzz);
    ret.setBorder(BorderFactory.createEtchedBorder());
    return ret;
}

Example 15 with Functor

use of catdata.fqlpp.cat.Functor in project fql by CategoricalData.

the class FqlppDisplay method doFNView2.

@SuppressWarnings("unchecked")
private static <X, Y> JComponent doFNView2(Functor fn, JPanel p, Color clr, Graph<X, Y> sgv, Signature sig) {
    Layout<X, Y> layout = new FRLayout<>(sgv);
    layout.setSize(new Dimension(600, 400));
    VisualizationViewer<X, Y> vv = new VisualizationViewer<>(layout);
    Function<X, Paint> vertexPaint = z -> clr;
    DefaultModalGraphMouse<String, String> gm = new DefaultModalGraphMouse<>();
    gm.setMode(Mode.TRANSFORMING);
    vv.setGraphMouse(gm);
    gm.setMode(Mode.PICKING);
    vv.getRenderContext().setVertexFillPaintTransformer(vertexPaint);
    Function ttt = arg0 -> Util.nice(arg0.toString());
    vv.getRenderContext().setVertexLabelTransformer(ttt);
    vv.getRenderContext().setEdgeLabelTransformer(ttt);
    // javac again
    Map<Object, JPanel> map = (Map<Object, JPanel>) makeJoined(sig, fn).second;
    vv.getPickedVertexState().addItemListener((ItemEvent e) -> {
        if (e.getStateChange() != ItemEvent.SELECTED) {
            return;
        }
        vv.getPickedEdgeState().clear();
        X str = ((X) e.getItem());
        // Object y = fn.applyO(str);
        p.removeAll();
        p.add(map.get(str));
        p.revalidate();
    });
    vv.getPickedEdgeState().addItemListener((ItemEvent e) -> {
        if (e.getStateChange() != ItemEvent.SELECTED) {
            return;
        }
        vv.getPickedVertexState().clear();
        X str = ((X) e.getItem());
        // Object y = fn.applyA(str);
        p.removeAll();
        p.add(map.get(str));
        p.revalidate();
    });
    GraphZoomScrollPane zzz = new GraphZoomScrollPane(vv);
    JPanel ret = new JPanel(new GridLayout(1, 1));
    ret.add(zzz);
    ret.setBorder(BorderFactory.createEtchedBorder());
    return ret;
}