morley-0.3.0.1: Developer tools for the Michelson Language

Safe HaskellNone
LanguageHaskell2010

Util.Type

Description

General type utilities.

Documentation

type family IsElem (a :: k) (l :: [k]) :: Bool where ... Source #

Equations

IsElem _ '[] = False 
IsElem a (a ': _) = True 
IsElem a (_ ': as) = IsElem a as