HLearn-algebra-1.1.0.1: Algebraic foundation for homomorphic learning

Safe HaskellNone

HLearn.Algebra.Types.Nat1

Description

This module was automatically generated by Nat1Generator.hs

Documentation

data Nat1Box n Source

Constructors

Nat1Box 

Instances

DepIndex (HList xs) (Nat1Box n) => DepIndex (HList (: * x xs)) (Nat1Box (Succ n)) 
DepIndex (HList (: * x xs)) (Nat1Box Zero) 
DepIndex (HList ([] *)) (Nat1Box Zero) 
HTake1 (Nat1Box n) (HList xs1) (HList xs2) => HTake1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList (: * x xs2)) 
HTake1 (Nat1Box Zero) (HList xs1) (HList ([] *)) 
HDrop1 (Nat1Box n) (HList xs1) (HList xs2) => HDrop1 (Nat1Box (Succ n)) (HList (: * x xs1)) (HList xs2) 
HDrop1 (Nat1Box Zero) (HList xs1) (HList xs1) 

data Nat1 Source

Constructors

Zero 
Succ Nat1 

Instances

type family FromNat1 n :: NatSource

type family ToNat1 n :: Nat1Source