Type families - Haskell and Cryptocurrencies

Type families

Still Work in Progress

Overview

Closed type families

Open type famililes

Associated type family

Injective type families

Data families

code:closedTypeFamilies.hs

{-# LANGUAGE DataKinds #-}

{-# LANGUAGE TypeFamilies #-}

data Nat = Zero | Succ Nat

type families Add n m where

'Zero n = n

Useful links

What are type families?

What I Wish - Type Families

Useful links (Japanese)

Haskell Type Families

TypeFamilyDependencies

#Type_level_programming