2009-12-09から1日間の記事一覧

型付けされたTree　とその上の関数

{-# LANGUAGE GADTs #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE OverlappingInstances #-} {-…

良く型付けされたtake関数

{-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE MultiParamTypeClasses , ScopedTypeVariables #-} {-# LANGUAGE FlexibleContexts , TypeSynonymInstances #-} {-# LANG…