GraphHammer.HList

Homebrew HList.

Documentation

data Nil

Instances

HLength Nil

EnabledAnalyses Nil eas

data a :. b

Instances

EnabledAnalysis a as => EnabledAnalysis a (:. a' as)

EnabledAnalysis a (:. a as)

HLength as => HLength (:. a as)

(EnabledAnalyses as eas, EnabledAnalysis a eas) => EnabledAnalyses (:. a as) eas

hHead :: (a :. as) -> a

hTail :: (a :. as) -> as

data FALSE

Instances

TyEq FALSE x y

TyOr TRUE FALSE TRUE

TyOr FALSE TRUE TRUE

TyOr FALSE FALSE FALSE

data TRUE

Instances

TyOr TRUE TRUE TRUE

TyOr TRUE FALSE TRUE

TyOr FALSE TRUE TRUE

class FAIL a

class TyCast a b | a -> b, b -> a

Instances

TyCast a a

class TyOr x y r | x y -> r

Instances

TyOr TRUE TRUE TRUE

TyOr TRUE FALSE TRUE

TyOr FALSE TRUE TRUE

TyOr FALSE FALSE FALSE

class TyEq b x y | x y -> b

Instances

TyCast TRUE b => TyEq b x x

TyEq FALSE x y

data Z

Instances

Nat Z

data S n

Instances

Nat n => Nat (S n)

class Nat a where

Methods

natural :: a -> Int

Instances

Nat Z

Nat n => Nat (S n)

fromSucc :: S n -> n

class HLength a where

Methods

hLength :: a -> Int

Instances

HLength Nil

HLength as => HLength (:. a as)