Някакъв начин за добавяне на шаблони, тип подпис към функция в GHCi?

Не. Не можете да добавяте нови модели или сигнатура на тип към функция в GHCi, след като сте изпълнили израз, който я дефинира в оценителя.

По този въпрос, вие също не трябва да го виждате като "добавяне" на база ред по ред в изходния код. Това е просто удобство при записване. Така че, когато погледнете "многоредова" дефиниция като:

foo :: [a] -> [a]
foo [] = []
foo (x:xs) = x : foo xs

Всички тези дефиниции на foo трябва да бъдат свързани заедно като група. Не можете да ги разделите... така че например това ще доведе до грешка:

foo :: [a] -> [a]
foo [] = []

bar = 3

foo (x:xs) = x : foo xs

(Забележка: Сигнатурата на типа може да бъде разделена обаче. За подробности относно това доколко може да бъде разделена, вижте Как се дефинира грануларността „блок" в Haskell? )

За да съберете нещата като група, можете да използвате многоредов вход в GHCi. Или можете да направите всичко на един ред с точка и запетая:

let foo :: [a] -> [a] ; foo [] = [] ; foo (x:xs) = x : xs

Но не можете да въведете вход, да го тествате, след това да закърпите отделни шаблони навътре и навън и да го тествате отново. Цялата функция се предефинира с всяко let.

Използвайте многоредов вход:

Prelude> :set +m
Prelude> let
Prelude| foo [] = []
Prelude| foo (x:xs) = x : foo xs
Prelude| 
Prelude> foo [1,2,3]
[1,2,3]