Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SystemVerilog operators ^~ ~^ ~& ~| ==? !=? [= [* [-> {<< {>> #=# #-# *> :/ #695

Open
4 of 15 tasks
drom opened this issue Jan 7, 2019 · 4 comments
Open
4 of 15 tasks

Comments

@drom
Copy link

drom commented Jan 7, 2019

I use FiraCode with SystemVerilog language and it has two operators that would look lovely as Glyphs:

  • |=> nonoverlapped implication
  • |-> overlapped implication

There are some other (less popular) SystemVerilog operators, with possibility being a Glyph:

  • ^~ , ~^ Binary or reduction XNOR operators
  • ~& reduction NAND
  • ~| reduction NOR
  • ==?,!=? Binary wildcard equality operators
  • [= nonconsecutive repetition
  • [* consecutive repetition
  • [-> goto repetition
  • {<< right-to-left streaming
  • {>> left-to-right streaming
  • #=# nonoverlapped followed-by
  • #-# overlapped followed-by
  • *> full path connection
  • :/ distribution weight assignment
@tonsky
Copy link
Owner

tonsky commented Jan 7, 2019

WOW. Thanks I’ll look which I can do

@strangemonad
Copy link

strangemonad commented Jul 9, 2019

+1 for |-> in many math contexts that's meant to express a element-wise mapping (vs set or type mapping)

e.g.
𝑓:𝑅→𝑅
𝑥↦𝑥^2

https://math.stackexchange.com/a/2711393

@tonsky tonsky added this to the 1.208 milestone Aug 27, 2019
@tonsky tonsky changed the title New glyphs |=> |-> SystemVerilog operators ^~ ~^ ~& ~| ==? !=? [= [* [-> {<< {>> #=# #-# *> :/ Sep 2, 2019
@tonsky tonsky removed this from the 1.208 milestone Sep 2, 2019
@dpwiz
Copy link

dpwiz commented Sep 15, 2019

Btw, *> is common in Haskell too and is symmetric (<*).

@tonsky
Copy link
Owner

tonsky commented Sep 16, 2019

*> and <* are already in the font

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants