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

Already on GitHub? Sign in to your account

does not satisfy law Extend Seq #8

xuwei-k opened this Issue Jun 9, 2013 · 0 comments


None yet
2 participants

xuwei-k commented Jun 9, 2013

GHCi, version 7.4.2: http://www.haskell.org/ghc/  :? for help
Prelude> import Data.Functor.Extend
Prelude Data.Functor.Extend> let f = Data.Sequence.length
Prelude Data.Functor.Extend> let g = Data.Sequence.length
Prelude Data.Functor.Extend> let a = extended f . extended g
Prelude Data.Functor.Extend> let b = extended (f . extended g)
Prelude Data.Functor.Extend> let list = Data.Sequence.fromList [1,2,3]
Prelude Data.Functor.Extend> a list == b list

I think duplicated of Seq should not contains empty Seq. like List

@ghost ghost assigned Taneb Jun 11, 2013

@Taneb Taneb closed this in 841e8dd Jun 11, 2013

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