Haskell, Case in a Where

Question

Мне интересно, есть ли идиома для обработки следующего примера. Это должно быть довольно распространенным явлением, и я не думаю, что вы можете использовать там, где это нужно. Помимо написания двух отдельных случаев, я не знаю, как это сделать.

Общая проблема заключается в том, что я хочу, чтобы создать карту с другим значением в зависимости от SelectionType, например, так:

type OtherType = { x :: Int, y :: Int, z :: String } deriving (Show) 

data SelectionType = A | B 

myMapper = map foo someMyTypes 

где someMyTypes :: [MyType] и foo является

foo :: SelectionType -> MyType -> OtherType 
foo sel t = [ x t, y t, z t <> something ] 
    where 
    case SelectionType of 
     A -> something = "a selected" 
     B -> something = "b selected" 

Что является лучшим способ справиться с этим вышеприведенным случаем, поскольку вышеупомянутое не компилируется.

Answer 1

Просто переместите уравнение за пределы корпуса.

foo sel t = [ x t, y t, z t <> something ] 
    where 
    something = case sel of 
     A -> "a selected" 
     B -> "b selected"