-
Notifications
You must be signed in to change notification settings - Fork 1
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
Represent expressions as arrows #38
Labels
arrows
Uses arrow/morphism abstraction
cmplx_norm
Normal complexity
enhancement
New feature or request
mapper
Intermediate mapper level
theory
It has something to do with category theory
Comments
fehu
added
help wanted
mapper
Intermediate mapper level
static
Static API
theory
It has something to do with category theory
and removed
help wanted
labels
Jul 3, 2018
Closed
Upd: #41 |
fehu
added a commit
that referenced
this issue
Jul 11, 2018
- ScalaExpr: Id, SelectField, FMap, MBind, SelectIn (TODO);
Introduced
|
TODO:
|
fehu
added a commit
that referenced
this issue
Jul 11, 2018
- compose field selection with current arrow;
fehu
changed the title
Represent expressions as arrows between objects
Represent scala expressions as arrows between types
Jul 11, 2018
fehu
added
high-level
High-level API
experimental
This task might yield no positive result
enhancement
New feature or request
cmplx_high
High complexity
and removed
cmplx_high
High complexity
experimental
This task might yield no positive result
labels
Jul 11, 2018
Issue was split, see #42. |
fehu
added
cmplx_norm
Normal complexity
and removed
cmplx_high
High complexity
high-level
High-level API
static
Static API
labels
Jul 11, 2018
fehu
changed the title
Represent scala expressions as arrows between types
Represent expressions as arrows
Jul 11, 2018
fehu
added a commit
that referenced
this issue
Jul 11, 2018
- defined generic `splitFunctor` implicit - overriding default `Split` functor for `FuncArrow` with `FuncArrow.mapSplitToFunc1Arrow` (import is required)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
arrows
Uses arrow/morphism abstraction
cmplx_norm
Normal complexity
enhancement
New feature or request
mapper
Intermediate mapper level
theory
It has something to do with category theory
TBD: I'm not really confident with Category Theory, so I'll fill the description after a couple of discussions.
compose
andThen
A ~> (B, C, D, E)
(A, B, C, D) ~> (A, E, C, D)
, similar tofirst
/second
(A, B, C) ~> D
The text was updated successfully, but these errors were encountered: