RepLib-0.5.4: Generic programming library with representation types

LicenseBSD
Maintainersweirich@cis.upenn.edu
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Generics.RepLib.AbstractReps

Contents

Description

Abstract Reps for Common Abstract Datatypes

Documentation

rSet1 :: forall ctx a. Rep a => R1 ctx (Set a) Source #

rSet :: forall a. Rep a => R (Set a) Source #

rMap1 :: forall ctx k a. (Rep k, Rep a) => R1 ctx (Map k a) Source #

rMap :: forall k a. (Rep k, Rep a) => R (Map k a) Source #

Orphan instances

Rep a0 => Rep1 ctx0 (Set a0) Source # 

Methods

rep1 :: R1 ctx0 (Set a0) Source #

(Rep k0, Rep a0) => Rep1 ctx0 (Map k0 a0) Source # 

Methods

rep1 :: R1 ctx0 (Map k0 a0) Source #

Rep a0 => Rep (Set a0) Source # 

Methods

rep :: R (Set a0) Source #

(Rep k0, Rep a0) => Rep (Map k0 a0) Source # 

Methods

rep :: R (Map k0 a0) Source #