|
instance zipListIsNotBind |
|
:: Fail (Text """ |
|
ZipList is not Bind. Any implementation would break the associativity law. |
|
|
|
Possible alternatives: |
|
Data.List.List |
|
Data.List.Lazy.List |
|
""") |
|
=> Bind ZipList where |
|
bind = unsafeCrashWith "bind: unreachable" |
ZipList is Bind, in which join is just diagonal. It's also Monad and MonadPlus.
Example: https://try.purescript.org/?gist=4888527a78d71d12df75fa628acd4719
purescript-lists/src/Data/List/ZipList.purs
Lines 57 to 66 in b113451
ZipList is Bind, in which join is just diagonal. It's also Monad and
MonadPlus.Example: https://try.purescript.org/?gist=4888527a78d71d12df75fa628acd4719