describe-0.2.0.1: Combinators for describing binary data structures

Safe HaskellNone
LanguageHaskell2010

Data.Serialize.Describe.Combinators

Description

Various type-level combinators to ease generic derivation of Describe

Documentation

newtype Optional p t Source #

Constructors

Optional 

Fields

Instances
(Describe a, StaticPred a p) => Describe (Optional p a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators

Methods

describe :: (s -> Optional p a) -> Descriptor s (Optional p a) Source #

class StaticPred t a where Source #

Methods

check :: t -> Bool Source #