Copyright	(c) Edward Kmett 2011-12
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Ermine.Syntax.Digest

Contents

Description

Synopsis

Constructing Digests

Minimal complete definition

Nothing

Methods

digest :: Ctx -> t -> Ctx Source

update a hash. This will default to updating using show if not specified

digestList :: Ctx -> [t] -> Ctx Source

Instances

Digestable Char
Digestable Double
Digestable Float
Digestable Int
Digestable Int8
Digestable Int16
Digestable Int32
Digestable Int64
Digestable Integer
Digestable Word
Digestable Word8
Digestable Word16
Digestable Word32
Digestable Word64
Digestable ()
Digestable ByteString
Digestable ByteString
Digestable Builder
Digestable Text
Digestable Text
Digestable Void
Digestable ModuleName
Digestable Global
Digestable Fixity
Digestable Assoc
Digestable HardKind
Digestable HardType
Digestable Head
Digestable t => Digestable [t]
Digestable a => Digestable (Maybe a)
Digestable a => Digestable (Schema a)
Digestable k => Digestable (Kind k)
(Digestable a, Digestable b) => Digestable (a, b)
(Digestable b, Digestable v) => Digestable (Var b v)
(Digestable1 f, Digestable a) => Digestable (Lift1 f a)
(Digestable k, Digestable t) => Digestable (Type k t)
(Digestable b, Digestable1 f, Functor f, Digestable v) => Digestable (Scope b f v)

Minimal complete definition

Nothing

Methods

digest1 :: Digestable a => Ctx -> t a -> Ctx Source

Instances

Digestable1 Maybe
Digestable1 Kind
Digestable a => Digestable1 ((,) a)
Digestable k => Digestable1 (Type k)