HLearn.Algebra.Types.HList

Contents

• Heterogenous List
  • Typeable
• Downcasting
• Boxes
• Type functions
  • HList
  • Type Lists
  • Type Nats

Synopsis

• data HList where
  • HNil :: HList `[]`
  • ::: :: t -> HList ts -> HList (t : ts)
• class HLength xs where
  • hlength :: xs -> Int
• class List2HList x xs where
  • list2hlist :: [x] -> HList (x : xs)
• class HList2List xs a | xs -> a where
  • hlist2list :: xs -> [a]
• class HTake1 n xs1 xs2 | n xs1 -> xs2 where
  • htake1 :: n -> xs1 -> xs2
• class HDrop1 n xs1 xs2 | n xs1 -> xs2 where
  • hdrop1 :: n -> xs1 -> xs2
• class HMap f xs1 xs2 | f xs1 -> xs2 where
  • hmap :: f -> xs1 -> xs2
• class TypeList t where
  • typeList :: t -> [TypeRep]
• class ConstraintBox box a where
  • box :: a -> box
  • unsafeUnbox :: box -> a
• class Downcast h box where
  • downcast :: h -> [box]
  • downcastAs :: (a -> box) -> h -> [box]
• data ShowBox = forall a . Show a => ShowBox !a
• data AnyBox = forall a . AnyBox !a
• type family HCons x xs :: *
• type family UnHList xs :: [a]
• type family HAppend xs ys :: *
• type family Distribute xs t :: [b]
• type family Replicate n x :: [a]
• type family Map f xs :: [b]
• type family Reverse xs :: [a]
• type family xs :! i :: a
• type family xs (++) ys :: [a]
• type family f ($) a :: b
• type family Concat xs :: [a]
• type family Length xs :: Nat
• type family Length1 xs :: Nat1
• data Nat1
  • = Zero
  • | Succ Nat1
• data Nat1Box n = Nat1Box
• type family ToNat1 n :: Nat1
• type family FromNat1 n :: Nat

Heterogenous List

Typeable

Downcasting

Boxes

Type functions

HList

Type Lists

Type Nats