Safe Haskell	Safe
Language	Haskell2010

Env.Generic

Synopsis

Documentation

class Record e a where Source

Minimal complete definition

Nothing

Methods

class Field e a where Source

Minimal complete definition

Nothing

Methods

Instances

(AsUnset e, AsEmpty e) => Field e Bool Source
(AsUnset e, AsUnread e) => Field e Char Source
AsUnset e => Field e String Source
(AsUnset e, AsUnread e) => Field e Double Source
(AsUnset e, AsUnread e) => Field e Float Source
(AsUnset e, AsUnread e) => Field e Natural Source
(AsUnset e, AsUnread e) => Field e Word64 Source
(AsUnset e, AsUnread e) => Field e Word32 Source
(AsUnset e, AsUnread e) => Field e Word16 Source
(AsUnset e, AsUnread e) => Field e Word8 Source
(AsUnset e, AsUnread e) => Field e Word Source
(AsUnset e, AsUnread e) => Field e Integer Source
(AsUnset e, AsUnread e) => Field e Int64 Source
(AsUnset e, AsUnread e) => Field e Int32 Source
(AsUnset e, AsUnread e) => Field e Int16 Source
(AsUnset e, AsUnread e) => Field e Int8 Source
(AsUnset e, AsUnread e) => Field e Int Source
(KnownSymbol tag, Field e a) => Field e ((?) Symbol a tag) Source

newtype a ? tag Source

Variable tagged with its help message.

Constructors

Help
Fields unHelp :: a

Instances

(KnownSymbol tag, Field e a) => Field e ((?) Symbol a tag) Source
Functor ((?) * a) Source
Foldable ((?) * a) Source
Traversable ((?) * a) Source
Eq a => Eq ((?) k a tag) Source
Show a => Show ((?) k a tag) Source

class Generic a

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

Minimal complete definition

Instances