search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

Replicated #101

Closed erykciepiela closed 4 years ago

erykciepiela commented 4 years ago

Replicated a b which is lattice product as defined in "Introduction to Lattices and Order" by Davey and Priestley it's a replicated lattice according to another lattice with all corresponding elements of first lattice replicas are ordered according to second lattice.

Review request: I'm not sure about lines I marked with TODO, any help very welcome.

erykciepiela commented 4 years ago

In my copy of the book it's page 42, definition 2.15 Products. I used name Replicated to keep the consistent naming spirit which I'd call geometrical. Thanks for helping in the TODOs.

erykciepiela commented 4 years ago

All changes applied as requested. Is there a chance to get this merged? Thank you.

phadej commented 4 years ago

Sorry for forgetting about this. This instance is exactly the instance we have for (a, b), so we don't need a newtype.