c_wraith 2017-02-25 17:51:22
In that latter case, what's the type of a?
lolisa 2017-02-25 17:51:30
Yes, but this is haskell and dynamic just hold existential haskell term... Does this still happends?
dolio 2017-02-25 17:51:39
It appears they just divided up the atomic types from the compound types. I don't think there's any necessary reason to do that.
maybefbi 2017-02-25 18:16:19
how to implement parametric data types with type constraints on the parameters?
Xnuk 2017-02-25 19:06:25
@hoogle Either a b -> Just b
lambdabot 2017-02-25 19:06:25
Data.Either.Combinators swapEither :: Either e a -> Either a e
lambdabot 2017-02-25 19:06:25
Data.EitherR flipEither :: Either a b -> Either b a
lambdabot 2017-02-25 19:06:25
Control.Lens.Prism left' :: p a b -> p (Either a c) (Either b c)
Xnuk 2017-02-25 19:06:25
@hoogle Either a b -> Maybe b
lambdabot 2017-02-25 19:06:25
Data.Either.Combinators leftToMaybe :: Either a b -> Maybe a
lambdabot 2017-02-25 19:06:25
Music.Theory.Either fromLeft :: Either a b -> Maybe a
lambdabot 2017-02-25 19:06:25
Agda.Utils.Either maybeLeft :: Either a b -> Maybe a
nishimura 2017-02-25 19:07:43
Why doesn't hoogle get those though
nishimura 2017-02-25 19:08:10
order of a b in Either a b doesn't matter?
c_wraith 2017-02-25 19:09:04
Actually, it matters quite a lot
nishimura 2017-02-25 19:11:52
Oh that's why it's called hush -- it silences the error
