Skip to content

Latest commit

 

History

History
45 lines (36 loc) · 881 Bytes

009_datatypes.md

File metadata and controls

45 lines (36 loc) · 881 Bytes

Datatypes

Syntax

GHC.Generics

class Generic a where
  type family Rep a :: * -> *
  to   :: a -> Rep a x
  from :: Rep a x -> a

Constructor Models

V1 Void: used for datatypes without constructors U1 Unit: used for constructors without arguments K1 Constants, additional parameters. :*: Products: encode multiple arguments to constructors :+: Sums: encode choice between constructors L1 Left hand side of a sum. R1 Right hand side of a sum. M1 Meta-information (constructor names, etc.)

newtype M1 i c f p = M1 (f p)
newtype K1 i c   p = K1 c
data U           p = U
data (:*:) a b p = a p :*: b p
data (:+:) a b p = L1 (a p) | R1 (b p)

Full Source

\clearpage