symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Data.Type

Synopsis
  • type family (xs :: [k]) :++ (ys :: [k]) :: [k] where ...
  • type family Find x ys where ...

Documentation

type family (xs :: [k]) :++ (ys :: [k]) :: [k] where ... Source #

Equations

'[] :++ ys = ys 
(x ': xs) :++ ys = x ': (xs :++ ys) 

type family Find x ys where ... Source #

Type list membership test.

Equations

Find x '[] = 'False 
Find x (x ': ys) = 'True 
Find x (y ': ys) = Find x ys