Início / coding / Perguntas / 79192689
Accepted
Shawn Zhang
Asked: 2024-11-15 21:56:10 +0800 CST

Como aplicar all/any a funções com tipo de retorno Either?

  • 772

Esta função retornará um Eithertipo. A String representa o valor de erro, e o Right/Bool representa o tipo booleano normal que o usuário se importa

testPre :: Rational -> Rational -> Either String Bool
testPre a b
  | b == 0 = Left "Shouldn't be 0" 
  | a > b = Right True
  | a <= b = Right False

Mas e se eu quisesse testar uma lista de números com um anyor especial allque funciona com Either String Bool ? Make anyor allfunciona no contexto de Either?

all (testPre 3)  [1,2]  =>  should be `Right True`
all (testPre 3)  [1,2,3]  =>  should be `Right False`

any (testPre 3)  [1,5]  =>  should be `Right True`
any (testPre 3)  [5,6]  =>  should be `Right False`

any (testPre 3)  [1,0,3]  =>  should be "Shouldn't be 0"

Obrigado

haskell

1 respostas

  1. Best Answer

    Em vez de alle any, você pode usar ande orem combinação com traverse.

    > and <$> traverse (testPre 3) [1,2]
Right True
> and <$> traverse (testPre 3) [1,2,3]
Right False
> or <$> traverse (testPre 3) [1,5]
Right True
> or <$> traverse (testPre 3) [5,6]
Right False
> or <$> traverse (testPre 3) [1,0,3]
Left "Shouldn't be 0"

    (Embora não seja definido dessa forma alle anypossa ser visto apenas como combinações de ande orcom fmap:

    all p = and . fmap p
any p = or . fmap p

    Estamos apenas substituindo fmappor traversee mapeando and/ orsobre o resultado em vez de aplicá-los ao resultado.)

    • 7

relate perguntas