Language.Hakaru.Types.DataKind

The core definition of Hakaru types

data Hakaru

data HakaruFun

data HakaruCon

data Symbol

type family Code (a :: HakaruCon) :: [[HakaruFun]]

type HData' t

Some "built-in" types

type HBool

type HUnit

type HPair a b

type HEither a b

type HList a

type HMaybe a