properties is:module

Functions for getting and setting GObject properties

This module contains a set of generally useful properties, which instance authors are encouraged to use in order to test their instances of the Serialise class. For example, if you have a data type which you might derive or write instances for:

data Foo = Foo { fooInt :: Int, fooBool :: Bool }
deriving (Eq, Show, Generic)
-- or, alternatively
instance Serialise Foo where
encode = ...
decode = ...

Then you can use this module to easily derive some quick properties:

import qualified Codec.Serialise.Properties as Props

fooSerialiseId :: Foo -> Bool
fooSerialiseId = Props.serialiseIdentity

fooFlatTermId :: Foo -> Bool
fooFlatTermId = Props.flatTermIdentity

fooHasValidFlatTerm :: Foo -> Bool
fooHasValidFlatTerm = Props.hasValidFlatTerm

You can then conveniently use these three functions with QuickCheck, for example.

Low level JavaScript object property access. In most cases you should use Language.Javascript.JSaddle.Object instead. This module is mostly here to implement functions needed to use JSPropRef.

A collection of properties that can be tested with QuickCheck, to guarantee that you are working with valid Lenses, Setters, Traversals, Isos and Prisms.

Properties file source

Module with consumer properties types and functions.

Module with producer properties types and functions.

EDSL for specifying window properties; various utilities related to window properties.

The structure that holds various text properties of an BufferT. Can be set and retrieved using bufferSetSegmentProperties and bufferGetSegmentProperties, respectively.