Examples of TEither

          && tid != TTokenID.QUALIFIER
          && (tid < TTokenID.LOP0 ||  tid > TTokenID.SOMEOP)) return null;
      final TMaybe mb = TGlobal.resolved(g, tok);
      final DJust just = mb._Just();
      if (just == null) return null;
      final TEither lr = Delayed.<TEither>forced( just.mem1 );
      final DRight right = lr._Right();
      if (right != null) {
        // this is a QName
        TQName q = Delayed.<TQName>forced( right.mem1 );
        final TMaybe mbsym = TGlobal.findit(g, q).<TMaybe>forced();
        final DJust  jsym  = mbsym._Just();
        if (jsym == null)  return null;   // not found?
        final TSymbolT sym = Delayed.<TSymbolT>forced( jsym.mem1 );
        System.err.println("getLinkTarget: " + QNames.IShow_QName.show(q));
        return new Symbol(g, sym);
      }
      final DLeft  left = lr._Left();
      if (left != null) {
        // this is a namespace
        String ns = TToken.value(tok);
        final TTree tree = TGlobal.namespaces(g);
        final TMaybe mbpack = TTree.M.lookupS(tree, ns);

  public TextAttribute getKind(FregeParseController controller, TToken tok, TextAttribute normalAttribute) {
    TGlobal g = controller.getCurrentAst();
    final TMaybe mb = TGlobal.resolved(g, tok);
    final TMaybe.DJust just = mb._Just();
    if (just == null) return normalAttribute;
    final TEither et = Delayed.<TEither>forced( just.mem1 );
    final DRight right = et._Right();
    if (right == null) return nsAttribute;      // since it is Left ()
    final TQName qname = Delayed.<TQName>forced( right.mem1 );
    final DLocal local = qname._Local();
    if (local != null) return normalAttribute;    // local var
    final boolean our = TGlobal.our(g, qname);

Examples of frege.prelude.PreludeBase.TEither

Examples of frege.prelude.PreludeBase.TEither