Data.Yoko.TypeBasics

Contents

• Re-exports
• Type-level Maybe

Description

Synopsis

• data Proxy a = Proxy
• type Equal a b = IsEQ (SpineCompare a b)
• derive_data :: Name -> Q [Dec]
• derive_pro :: Name -> Q [Dec]
• data Nat
  • = Z
  • | S Nat
• data SingNat where
  • SZ :: SingNat Z
  • SN :: SingNat n -> SingNat (S n)
• type Length list = Length' Z list
• type family Length' acc list :: Nat
• type family Append x y :: [k]
• type family App fn t :: *
• newtype Constant a t = Constant a
• data Vec where
  • VNil :: Vec `[]` f
  • VCons :: App f t -> Vec ts f -> Vec (t : ts) f
• vCarrying :: Proxy f -> Vec ts f -> Vec ts f
• class VFunctor c ts where
  • vMap :: Proxy c -> (forall t. c t => Proxy t -> App f t -> App g t) -> Vec ts f -> Vec ts g
• class TrivCon a
• trivCon :: Proxy TrivCon
• class VInitialize c ts where
  • vInitialize :: Proxy c -> Proxy f -> (forall t. c t => Proxy t -> App f t) -> Vec ts f
  • cvInitialize :: Proxy c -> (forall t. c t => Proxy t -> a) -> CVec ts a
• newtype CVec ts a = CVec {
  • unCVec :: Vec ts (Constant a)
  }
• cvec2list :: CVec ts a -> [a]
• class VRepeat ts where
  • cvRepeat :: a -> CVec ts a
• data Diag_ f g t = Diag_
• class VZip ts where
  • vZip :: Vec ts f -> Vec ts g -> Vec ts (Diag_ f g)
• cvZipWith :: forall a b c ts. (a -> b -> c) -> CVec ts a -> CVec ts b -> CVec ts c
• data Idx where
  • ZIdx :: Idx (t : ts)
  • SIdx :: Idx ts -> Idx (t : ts)
• class IndexInto n ts where
  • indexInto :: Proxy n -> Proxy ts -> Idx ts
• cvAt :: forall ts a. CVec ts a -> Idx ts -> a
• cvUpd :: forall ts a. CVec ts a -> Idx ts -> (a -> a) -> CVec ts a
• class VEnum ts where
  • cvEnum :: CVec ts (Idx ts)
• cvAddIndexes :: VEnum ts => CVec ts a -> CVec ts (Idx ts, a)
• type family IsJust x :: Bool
• type family MaybePlus1 x y :: Maybe k
• type family MaybeMap f x :: Maybe l
• type family If c a b :: k
• encode :: Serialize a => a -> Type
• type SpineCompare l r = Compare * (Spine k l) (Spine k1 r)

Documentation

Re-exports

Type-level Maybe