Làm thế nào tôi có thể sử dụng Generics để trích xuất tất cả các giá trị của một loại cụ thể?

Question

Tôi có một kiểu dữ liệu như thế này:

data MyType = Foo Bool 
      | Bar 
      | Baz Bool (Maybe String) Bool 
      | Quux Int String 

Tôi có thể sử dụng Generics để viết một hàm getBools :: MyType -> [Bool] mà trả về một danh sách tất cả các lĩnh vực boolean trong đầu vào?

tôi đã đưa ra loại chữ ký này:

getAllOfType :: 
    (Generic inner, Generic outer, HasDatatypeInfo inner, All2 HasDatatypeInfo (Code outer)) => 
    Proxy inner -> outer -> [inner] 

Sử dụng generics-sop, nhưng tôi không nghĩ điều đó đúng. So sánh DatatypeInfo s sẽ không thuyết phục trình kiểm tra loại mà hai loại là tương đương nhau.

Answer 1

Sử dụng uniplate:

{-# LANGUAGE DeriveDataTypeable #-} 

module M where 

import Data.Data 
import Data.Generics.Uniplate.Data 

data MyType 
    = Foo Bool 
    | Bar 
    | Baz Bool (Maybe String) Bool 
    | Quux Int String 
    deriving Data 

getBools :: MyType -> [Bool] 
getBools = universeBi