Возможна ли постановка в виде области действия?

Question

Можно сделать следующее:

foo = bar 
    where 
     type A = (Some, Huge, Type, Sig) 

     meh :: A -> (A, A) -> A 

мне нужно только использовать этот пользовательский тип внутри, где положение, так что не имеет смысла определять его глобально.

Answer 1

Это невозможно. Почему бы просто не определить его над функцией? Вам не нужно экспортировать его из модуля (просто используйте явный список экспорта).

Кстати, если у вас действительно есть такой большой тип, это, вероятно, признак того, что вы должны учитывать его на более мелкие части, особенно если у вас много кортежей, как показывает ваш пример; типы данных будут более уместными.

Answer 2

На самом деле, есть один, немного смешно, способ приблизить это:

{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE ScopedTypeVariables #-} 

foo :: forall abbrv. (abbrv ~ (Some, Huge, Type, Sig)) 
    => abbrv -> abbrv 
foo x = meh x (x, x) 
    where meh :: abbrv -> (abbrv, abbrv) -> abbrv 
     meh x y = {- ... -} 

Я не могу рекомендовать позволяя два расширения языка только ради сокращающих типов в подписи, хотя, если вы уже используя их (или GADT вместо семейств типов), я полагаю, что это ничем не повредит.

Чувствительность в стороне, вы должны рассмотреть возможность реорганизации своих типов в таких случаях, как это предлагает ehird.