È possibile un'istruzione di tipo scoped?

Question

E 'possibile effettuare le seguenti operazioni:

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

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

ho solo bisogno di utilizzare questo tipo personalizzato all'interno della clausola in cui, in modo che non ha senso per definire globalmente.

Answer 1

Questo non è possibile. Perché non basta definirlo sopra la funzione? Non è necessario esportarlo dal modulo (basta usare un elenco di esportazione esplicito).

A proposito, se davvero hai un tipo così grande, probabilmente è un segnale che devi calcolarlo in parti più piccole, specialmente se hai un sacco di tuple come suggerisce il tuo esempio; i tipi di dati sarebbero più appropriati.

Answer 2

In realtà, c'è uno, un po 'ridicolo, modo per approssimare questo:

{-# 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 = {- ... -} 

non posso davvero consigliare consentendo due estensioni del linguaggio solo per il gusto di abbreviare i tipi di firme, anche se siete già usandoli (o GADT invece di famiglie di tipi) suppongo che non faccia del male a nulla.

Sciocchezze a parte, dovresti prendere in considerazione il refactoring dei tuoi tipi in casi come questo, come suggerisce l'eird.