猫応用的リフト `その空虚の概念を持ちながら、オプションに値を持ち上げる方法がある場合、私は思っていたオプション

Question

にempty`値、しかし、リストが空であるため、この場合はNoneを返すものはありません。空文字列でも便利です。

Answer 1

これを実行できるようにするには、空文字をtypeclassとして実装する必要があります。その後、リフトの実装は

def liftOption[A : Empty](a: A): Option[A] = 
    if (Empty[A].isEmpty(a)) None else Some(a) 

かなり簡単になりますがあり猫にこれを置くかどうかについて、いくつかのdiscussionsはあったが、今では、実際にあなたができるすべてのApplicativeにそれを拡張することができalleycats

に常駐Empty （あなたは空の型を一致させるためにいくつかのadjustementsを必要とすることができるが、それは考えを示し）：

def liftE[A: Empty, F[_]: Applicative, Empty](a: A): F[A] = 
    if (Empty[A].isEmpty(a)) Empty[F] 
    else Applicative[F].pure(a)