Safe Haskell	Safe
Language	Haskell98

UHC.Util.Serialize

Synopsis

Documentation

type SPut = State SPutS () Source #

type SGet x = StateT SGetS Get x Source #

class Serialize x where Source #

Methods

sput :: x -> SPut Source #

sput :: (Generic x, GSerialize (Rep x)) => x -> SPut Source #

sget :: SGet x Source #

sget :: (Generic x, GSerialize (Rep x)) => SGet x Source #

sputNested :: x -> SPut Source #

sgetNested :: SGet x Source #

Instances

Serialize Bool Source #
Methods sput :: Bool -> SPut Source # sget :: SGet Bool Source # sputNested :: Bool -> SPut Source # sgetNested :: SGet Bool Source #
Serialize Char Source #
Methods sput :: Char -> SPut Source # sget :: SGet Char Source # sputNested :: Char -> SPut Source # sgetNested :: SGet Char Source #
Serialize Int Source #
Methods sput :: Int -> SPut Source # sget :: SGet Int Source # sputNested :: Int -> SPut Source # sgetNested :: SGet Int Source #
Serialize Int16 Source #
Methods sput :: Int16 -> SPut Source # sget :: SGet Int16 Source # sputNested :: Int16 -> SPut Source # sgetNested :: SGet Int16 Source #
Serialize Int32 Source #
Methods sput :: Int32 -> SPut Source # sget :: SGet Int32 Source # sputNested :: Int32 -> SPut Source # sgetNested :: SGet Int32 Source #
Serialize Int64 Source #
Methods sput :: Int64 -> SPut Source # sget :: SGet Int64 Source # sputNested :: Int64 -> SPut Source # sgetNested :: SGet Int64 Source #
Serialize Integer Source #
Methods sput :: Integer -> SPut Source # sget :: SGet Integer Source # sputNested :: Integer -> SPut Source # sgetNested :: SGet Integer Source #
Serialize Word16 Source #
Methods sput :: Word16 -> SPut Source # sget :: SGet Word16 Source # sputNested :: Word16 -> SPut Source # sgetNested :: SGet Word16 Source #
Serialize Word32 Source #
Methods sput :: Word32 -> SPut Source # sget :: SGet Word32 Source # sputNested :: Word32 -> SPut Source # sgetNested :: SGet Word32 Source #
Serialize Word64 Source #
Methods sput :: Word64 -> SPut Source # sget :: SGet Word64 Source # sputNested :: Word64 -> SPut Source # sgetNested :: SGet Word64 Source #
Serialize () Source #
Methods sput :: () -> SPut Source # sget :: SGet () Source # sputNested :: () -> SPut Source # sgetNested :: SGet () Source #
Serialize a => Serialize [a] Source #
Methods sput :: [a] -> SPut Source # sget :: SGet [a] Source # sputNested :: [a] -> SPut Source # sgetNested :: SGet [a] Source #
Serialize a => Serialize (Maybe a) Source #
Methods sput :: Maybe a -> SPut Source # sget :: SGet (Maybe a) Source # sputNested :: Maybe a -> SPut Source # sgetNested :: SGet (Maybe a) Source #
(Ord a, Serialize a) => Serialize (Set a) Source #
Methods sput :: Set a -> SPut Source # sget :: SGet (Set a) Source # sputNested :: Set a -> SPut Source # sgetNested :: SGet (Set a) Source #
Serialize k => Serialize (TreeTrieMp1Key k) Source #
Methods sput :: TreeTrieMp1Key k -> SPut Source # sget :: SGet (TreeTrieMp1Key k) Source # sputNested :: TreeTrieMp1Key k -> SPut Source # sgetNested :: SGet (TreeTrieMp1Key k) Source #
Serialize k => Serialize (TreeTrie1Key k) Source #
Methods sput :: TreeTrie1Key k -> SPut Source # sget :: SGet (TreeTrie1Key k) Source # sputNested :: TreeTrie1Key k -> SPut Source # sgetNested :: SGet (TreeTrie1Key k) Source #
(Serialize a, Serialize b) => Serialize (a, b) Source #
Methods sput :: (a, b) -> SPut Source # sget :: SGet (a, b) Source # sputNested :: (a, b) -> SPut Source # sgetNested :: SGet (a, b) Source #
(Ord k, Serialize k, Serialize e) => Serialize (Map k e) Source #
Methods sput :: Map k e -> SPut Source # sget :: SGet (Map k e) Source # sputNested :: Map k e -> SPut Source # sgetNested :: SGet (Map k e) Source #
(Ord k, Serialize k, Serialize v) => Serialize (TreeTrie k v) Source #
Methods sput :: TreeTrie k v -> SPut Source # sget :: SGet (TreeTrie k v) Source # sputNested :: TreeTrie k v -> SPut Source # sgetNested :: SGet (TreeTrie k v) Source #
(Ord b, Ord a, Serialize a, Serialize b) => Serialize (Rel a b) Source #
Methods sput :: Rel a b -> SPut Source # sget :: SGet (Rel a b) Source # sputNested :: Rel a b -> SPut Source # sgetNested :: SGet (Rel a b) Source #
(Ord k, Serialize k, Serialize v) => Serialize (VarMp' k v) Source #
Methods sput :: VarMp' k v -> SPut Source # sget :: SGet (VarMp' k v) Source # sputNested :: VarMp' k v -> SPut Source # sgetNested :: SGet (VarMp' k v) Source #
(Ord k, Serialize k, Serialize v) => Serialize (SGam k v) Source #
Methods sput :: SGam k v -> SPut Source # sget :: SGet (SGam k v) Source # sputNested :: SGam k v -> SPut Source # sgetNested :: SGet (SGam k v) Source #
(Serialize c, Serialize p) => Serialize (RuleBodyAlt c p) Source #
Methods sput :: RuleBodyAlt c p -> SPut Source # sget :: SGet (RuleBodyAlt c p) Source # sputNested :: RuleBodyAlt c p -> SPut Source # sgetNested :: SGet (RuleBodyAlt c p) Source #
(Ord (TTKey c), Serialize (TTKey c), Serialize c, Serialize g) => Serialize (CHRStore c g) Source #
Methods sput :: CHRStore c g -> SPut Source # sget :: SGet (CHRStore c g) Source # sputNested :: CHRStore c g -> SPut Source # sgetNested :: SGet (CHRStore c g) Source #
(Serialize c, Serialize g, Serialize (TTKey c)) => Serialize (StoredCHR c g) Source #
Methods sput :: StoredCHR c g -> SPut Source # sget :: SGet (StoredCHR c g) Source # sputNested :: StoredCHR c g -> SPut Source # sgetNested :: SGet (StoredCHR c g) Source #
(Serialize a, Serialize b, Serialize c) => Serialize (a, b, c) Source #
Methods sput :: (a, b, c) -> SPut Source # sget :: SGet (a, b, c) Source # sputNested :: (a, b, c) -> SPut Source # sgetNested :: SGet (a, b, c) Source #
(Serialize c, Serialize g, Serialize bp, Serialize p) => Serialize (Rule c g bp p) Source #
Methods sput :: Rule c g bp p -> SPut Source # sget :: SGet (Rule c g bp p) Source # sputNested :: Rule c g bp p -> SPut Source # sgetNested :: SGet (Rule c g bp p) Source #

sputPlain :: (Binary x, Serialize x) => x -> SPut Source #

sgetPlain :: (Binary x, Serialize x) => SGet x Source #

sputUnshared :: (Binary x, Serialize x) => x -> SPut Source #

sputShared :: (Ord x, Serialize x, Typeable x) => x -> SPut Source #

sgetShared :: forall x. (Ord x, Serialize x, Typeable x) => SGet x Source #

sputWord8 :: Word8 -> SPut Source #

sgetWord8 :: SGet Word8 Source #

sputWord16 :: Word16 -> SPut Source #

sgetWord16 :: SGet Word16 Source #

sputEnum8 :: Enum x => x -> SPut Source #

sgetEnum8 :: Enum x => SGet x Source #

runSPut :: SPut -> Put Source #

runSGet :: SGet x -> Get x Source #

serialize :: Serialize x => x -> Put Source #

unserialize :: Serialize x => Get x Source #

putSPutFile :: FilePath -> SPut -> IO () Source #

SPut to FilePath

getSGetFile :: FilePath -> SGet a -> IO a Source #

SGet from FilePath

putSerializeFile :: Serialize a => FilePath -> a -> IO () Source #

Serialize to FilePath

getSerializeFile :: Serialize a => FilePath -> IO a Source #

Unserialize from FilePath

class Generic a #

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

Minimal complete definition

from, to

Instances

Generic Bool
Associated Types type Rep Bool :: * -> * # Methods from :: Bool -> Rep Bool x # to :: Rep Bool x -> Bool #
Generic Ordering
Associated Types type Rep Ordering :: * -> * # Methods from :: Ordering -> Rep Ordering x # to :: Rep Ordering x -> Ordering #
Generic Exp
Associated Types type Rep Exp :: * -> * # Methods from :: Exp -> Rep Exp x # to :: Rep Exp x -> Exp #
Generic Match
Associated Types type Rep Match :: * -> * # Methods from :: Match -> Rep Match x # to :: Rep Match x -> Match #
Generic Clause
Associated Types type Rep Clause :: * -> * # Methods from :: Clause -> Rep Clause x # to :: Rep Clause x -> Clause #
Generic Pat
Associated Types type Rep Pat :: * -> * # Methods from :: Pat -> Rep Pat x # to :: Rep Pat x -> Pat #
Generic Type
Associated Types type Rep Type :: * -> * # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
Generic Dec
Associated Types type Rep Dec :: * -> * # Methods from :: Dec -> Rep Dec x # to :: Rep Dec x -> Dec #
Generic Name
Associated Types type Rep Name :: * -> * # Methods from :: Name -> Rep Name x # to :: Rep Name x -> Name #
Generic FunDep
Associated Types type Rep FunDep :: * -> * # Methods from :: FunDep -> Rep FunDep x # to :: Rep FunDep x -> FunDep #
Generic TyVarBndr
Associated Types type Rep TyVarBndr :: * -> * # Methods from :: TyVarBndr -> Rep TyVarBndr x # to :: Rep TyVarBndr x -> TyVarBndr #
Generic InjectivityAnn
Associated Types type Rep InjectivityAnn :: * -> * # Methods from :: InjectivityAnn -> Rep InjectivityAnn x # to :: Rep InjectivityAnn x -> InjectivityAnn #
Generic Overlap
Associated Types type Rep Overlap :: * -> * # Methods from :: Overlap -> Rep Overlap x # to :: Rep Overlap x -> Overlap #
Generic DerivStrategy
Associated Types type Rep DerivStrategy :: * -> * # Methods from :: DerivStrategy -> Rep DerivStrategy x # to :: Rep DerivStrategy x -> DerivStrategy #
Generic ()
Associated Types type Rep () :: * -> * # Methods from :: () -> Rep () x # to :: Rep () x -> () #
Generic Void
Associated Types type Rep Void :: * -> * # Methods from :: Void -> Rep Void x # to :: Rep Void x -> Void #
Generic Version
Associated Types type Rep Version :: * -> * # Methods from :: Version -> Rep Version x # to :: Rep Version x -> Version #
Generic ExitCode
Associated Types type Rep ExitCode :: * -> * # Methods from :: ExitCode -> Rep ExitCode x # to :: Rep ExitCode x -> ExitCode #
Generic All
Associated Types type Rep All :: * -> * # Methods from :: All -> Rep All x # to :: Rep All x -> All #
Generic Any
Associated Types type Rep Any :: * -> * # Methods from :: Any -> Rep Any x # to :: Rep Any x -> Any #
Generic Fixity
Associated Types type Rep Fixity :: * -> * # Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Generic Associativity
Associated Types type Rep Associativity :: * -> * # Methods from :: Associativity -> Rep Associativity x # to :: Rep Associativity x -> Associativity #
Generic SourceUnpackedness
Associated Types type Rep SourceUnpackedness :: * -> * # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness #
Generic SourceStrictness
Associated Types type Rep SourceStrictness :: * -> * # Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness #
Generic DecidedStrictness
Associated Types type Rep DecidedStrictness :: * -> * # Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness #
Generic Extension
Associated Types type Rep Extension :: * -> * # Methods from :: Extension -> Rep Extension x # to :: Rep Extension x -> Extension #
Generic ForeignSrcLang
Associated Types type Rep ForeignSrcLang :: * -> * # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x # to :: Rep ForeignSrcLang x -> ForeignSrcLang #
Generic Doc
Associated Types type Rep Doc :: * -> * # Methods from :: Doc -> Rep Doc x # to :: Rep Doc x -> Doc #
Generic TextDetails
Associated Types type Rep TextDetails :: * -> * # Methods from :: TextDetails -> Rep TextDetails x # to :: Rep TextDetails x -> TextDetails #
Generic Style
Associated Types type Rep Style :: * -> * # Methods from :: Style -> Rep Style x # to :: Rep Style x -> Style #
Generic Mode
Associated Types type Rep Mode :: * -> * # Methods from :: Mode -> Rep Mode x # to :: Rep Mode x -> Mode #
Generic ModName
Associated Types type Rep ModName :: * -> * # Methods from :: ModName -> Rep ModName x # to :: Rep ModName x -> ModName #
Generic PkgName
Associated Types type Rep PkgName :: * -> * # Methods from :: PkgName -> Rep PkgName x # to :: Rep PkgName x -> PkgName #
Generic Module
Associated Types type Rep Module :: * -> * # Methods from :: Module -> Rep Module x # to :: Rep Module x -> Module #
Generic OccName
Associated Types type Rep OccName :: * -> * # Methods from :: OccName -> Rep OccName x # to :: Rep OccName x -> OccName #
Generic NameFlavour
Associated Types type Rep NameFlavour :: * -> * # Methods from :: NameFlavour -> Rep NameFlavour x # to :: Rep NameFlavour x -> NameFlavour #
Generic NameSpace
Associated Types type Rep NameSpace :: * -> * # Methods from :: NameSpace -> Rep NameSpace x # to :: Rep NameSpace x -> NameSpace #
Generic Loc
Associated Types type Rep Loc :: * -> * # Methods from :: Loc -> Rep Loc x # to :: Rep Loc x -> Loc #
Generic Info
Associated Types type Rep Info :: * -> * # Methods from :: Info -> Rep Info x # to :: Rep Info x -> Info #
Generic ModuleInfo
Associated Types type Rep ModuleInfo :: * -> * # Methods from :: ModuleInfo -> Rep ModuleInfo x # to :: Rep ModuleInfo x -> ModuleInfo #
Generic Fixity
Associated Types type Rep Fixity :: * -> * # Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Generic FixityDirection
Associated Types type Rep FixityDirection :: * -> * # Methods from :: FixityDirection -> Rep FixityDirection x # to :: Rep FixityDirection x -> FixityDirection #
Generic Lit
Associated Types type Rep Lit :: * -> * # Methods from :: Lit -> Rep Lit x # to :: Rep Lit x -> Lit #
Generic Body
Associated Types type Rep Body :: * -> * # Methods from :: Body -> Rep Body x # to :: Rep Body x -> Body #
Generic Guard
Associated Types type Rep Guard :: * -> * # Methods from :: Guard -> Rep Guard x # to :: Rep Guard x -> Guard #
Generic Stmt
Associated Types type Rep Stmt :: * -> * # Methods from :: Stmt -> Rep Stmt x # to :: Rep Stmt x -> Stmt #
Generic Range
Associated Types type Rep Range :: * -> * # Methods from :: Range -> Rep Range x # to :: Rep Range x -> Range #
Generic DerivClause
Associated Types type Rep DerivClause :: * -> * # Methods from :: DerivClause -> Rep DerivClause x # to :: Rep DerivClause x -> DerivClause #
Generic TypeFamilyHead
Associated Types type Rep TypeFamilyHead :: * -> * # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x # to :: Rep TypeFamilyHead x -> TypeFamilyHead #
Generic TySynEqn
Associated Types type Rep TySynEqn :: * -> * # Methods from :: TySynEqn -> Rep TySynEqn x # to :: Rep TySynEqn x -> TySynEqn #
Generic FamFlavour
Associated Types type Rep FamFlavour :: * -> * # Methods from :: FamFlavour -> Rep FamFlavour x # to :: Rep FamFlavour x -> FamFlavour #
Generic Foreign
Associated Types type Rep Foreign :: * -> * # Methods from :: Foreign -> Rep Foreign x # to :: Rep Foreign x -> Foreign #
Generic Callconv
Associated Types type Rep Callconv :: * -> * # Methods from :: Callconv -> Rep Callconv x # to :: Rep Callconv x -> Callconv #
Generic Safety
Associated Types type Rep Safety :: * -> * # Methods from :: Safety -> Rep Safety x # to :: Rep Safety x -> Safety #
Generic Pragma
Associated Types type Rep Pragma :: * -> * # Methods from :: Pragma -> Rep Pragma x # to :: Rep Pragma x -> Pragma #
Generic Inline
Associated Types type Rep Inline :: * -> * # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
Generic RuleMatch
Associated Types type Rep RuleMatch :: * -> * # Methods from :: RuleMatch -> Rep RuleMatch x # to :: Rep RuleMatch x -> RuleMatch #
Generic Phases
Associated Types type Rep Phases :: * -> * # Methods from :: Phases -> Rep Phases x # to :: Rep Phases x -> Phases #
Generic RuleBndr
Associated Types type Rep RuleBndr :: * -> * # Methods from :: RuleBndr -> Rep RuleBndr x # to :: Rep RuleBndr x -> RuleBndr #
Generic AnnTarget
Associated Types type Rep AnnTarget :: * -> * # Methods from :: AnnTarget -> Rep AnnTarget x # to :: Rep AnnTarget x -> AnnTarget #
Generic SourceUnpackedness
Associated Types type Rep SourceUnpackedness :: * -> * # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness #
Generic SourceStrictness
Associated Types type Rep SourceStrictness :: * -> * # Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness #
Generic DecidedStrictness
Associated Types type Rep DecidedStrictness :: * -> * # Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness #
Generic Con
Associated Types type Rep Con :: * -> * # Methods from :: Con -> Rep Con x # to :: Rep Con x -> Con #
Generic Bang
Associated Types type Rep Bang :: * -> * # Methods from :: Bang -> Rep Bang x # to :: Rep Bang x -> Bang #
Generic PatSynDir
Associated Types type Rep PatSynDir :: * -> * # Methods from :: PatSynDir -> Rep PatSynDir x # to :: Rep PatSynDir x -> PatSynDir #
Generic PatSynArgs
Associated Types type Rep PatSynArgs :: * -> * # Methods from :: PatSynArgs -> Rep PatSynArgs x # to :: Rep PatSynArgs x -> PatSynArgs #
Generic FamilyResultSig
Associated Types type Rep FamilyResultSig :: * -> * # Methods from :: FamilyResultSig -> Rep FamilyResultSig x # to :: Rep FamilyResultSig x -> FamilyResultSig #
Generic TyLit
Associated Types type Rep TyLit :: * -> * # Methods from :: TyLit -> Rep TyLit x # to :: Rep TyLit x -> TyLit #
Generic Role
Associated Types type Rep Role :: * -> * # Methods from :: Role -> Rep Role x # to :: Rep Role x -> Role #
Generic AnnLookup
Associated Types type Rep AnnLookup :: * -> * # Methods from :: AnnLookup -> Rep AnnLookup x # to :: Rep AnnLookup x -> AnnLookup #
Generic FPath #
Associated Types type Rep FPath :: * -> * # Methods from :: FPath -> Rep FPath x # to :: Rep FPath x -> FPath #
Generic [a]
Associated Types type Rep [a] :: * -> * # Methods from :: [a] -> Rep [a] x # to :: Rep [a] x -> [a] #
Generic (Maybe a)
Associated Types type Rep (Maybe a) :: * -> * # Methods from :: Maybe a -> Rep (Maybe a) x # to :: Rep (Maybe a) x -> Maybe a #
Generic (Par1 p)
Associated Types type Rep (Par1 p) :: * -> * # Methods from :: Par1 p -> Rep (Par1 p) x # to :: Rep (Par1 p) x -> Par1 p #
Generic (Complex a)
Associated Types type Rep (Complex a) :: * -> * # Methods from :: Complex a -> Rep (Complex a) x # to :: Rep (Complex a) x -> Complex a #
Generic (Min a)
Associated Types type Rep (Min a) :: * -> * # Methods from :: Min a -> Rep (Min a) x # to :: Rep (Min a) x -> Min a #
Generic (Max a)
Associated Types type Rep (Max a) :: * -> * # Methods from :: Max a -> Rep (Max a) x # to :: Rep (Max a) x -> Max a #
Generic (First a)
Associated Types type Rep (First a) :: * -> * # Methods from :: First a -> Rep (First a) x # to :: Rep (First a) x -> First a #
Generic (Last a)
Associated Types type Rep (Last a) :: * -> * # Methods from :: Last a -> Rep (Last a) x # to :: Rep (Last a) x -> Last a #
Generic (WrappedMonoid m)
Associated Types type Rep (WrappedMonoid m) :: * -> * # Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x # to :: Rep (WrappedMonoid m) x -> WrappedMonoid m #
Generic (Option a)
Associated Types type Rep (Option a) :: * -> * # Methods from :: Option a -> Rep (Option a) x # to :: Rep (Option a) x -> Option a #
Generic (NonEmpty a)
Associated Types type Rep (NonEmpty a) :: * -> * # Methods from :: NonEmpty a -> Rep (NonEmpty a) x # to :: Rep (NonEmpty a) x -> NonEmpty a #
Generic (ZipList a)
Associated Types type Rep (ZipList a) :: * -> * # Methods from :: ZipList a -> Rep (ZipList a) x # to :: Rep (ZipList a) x -> ZipList a #
Generic (Identity a)
Associated Types type Rep (Identity a) :: * -> * # Methods from :: Identity a -> Rep (Identity a) x # to :: Rep (Identity a) x -> Identity a #
Generic (Dual a)
Associated Types type Rep (Dual a) :: * -> * # Methods from :: Dual a -> Rep (Dual a) x # to :: Rep (Dual a) x -> Dual a #
Generic (Endo a)
Associated Types type Rep (Endo a) :: * -> * # Methods from :: Endo a -> Rep (Endo a) x # to :: Rep (Endo a) x -> Endo a #
Generic (Sum a)
Associated Types type Rep (Sum a) :: * -> * # Methods from :: Sum a -> Rep (Sum a) x # to :: Rep (Sum a) x -> Sum a #
Generic (Product a)
Associated Types type Rep (Product a) :: * -> * # Methods from :: Product a -> Rep (Product a) x # to :: Rep (Product a) x -> Product a #
Generic (First a)
Associated Types type Rep (First a) :: * -> * # Methods from :: First a -> Rep (First a) x # to :: Rep (First a) x -> First a #
Generic (Last a)
Associated Types type Rep (Last a) :: * -> * # Methods from :: Last a -> Rep (Last a) x # to :: Rep (Last a) x -> Last a #
Generic (Key1 k)
Associated Types type Rep (Key1 k) :: * -> * # Methods from :: Key1 k -> Rep (Key1 k) x # to :: Rep (Key1 k) x -> Key1 k #
Generic (Key k)
Associated Types type Rep (Key k) :: * -> * # Methods from :: Key k -> Rep (Key k) x # to :: Rep (Key k) x -> Key k #
Generic (SCC vertex)
Associated Types type Rep (SCC vertex) :: * -> * # Methods from :: SCC vertex -> Rep (SCC vertex) x # to :: Rep (SCC vertex) x -> SCC vertex #
Generic (Tree a)
Associated Types type Rep (Tree a) :: * -> * # Methods from :: Tree a -> Rep (Tree a) x # to :: Rep (Tree a) x -> Tree a #
Generic (ViewL a)
Associated Types type Rep (ViewL a) :: * -> * # Methods from :: ViewL a -> Rep (ViewL a) x # to :: Rep (ViewL a) x -> ViewL a #
Generic (ViewR a)
Associated Types type Rep (ViewR a) :: * -> * # Methods from :: ViewR a -> Rep (ViewR a) x # to :: Rep (ViewR a) x -> ViewR a #
Generic (Doc a)
Associated Types type Rep (Doc a) :: * -> * # Methods from :: Doc a -> Rep (Doc a) x # to :: Rep (Doc a) x -> Doc a #
Generic (Either a b)
Associated Types type Rep (Either a b) :: * -> * # Methods from :: Either a b -> Rep (Either a b) x # to :: Rep (Either a b) x -> Either a b #
Generic (V1 k p)
Associated Types type Rep (V1 k p) :: * -> * # Methods from :: V1 k p -> Rep (V1 k p) x # to :: Rep (V1 k p) x -> V1 k p #
Generic (U1 k p)
Associated Types type Rep (U1 k p) :: * -> * # Methods from :: U1 k p -> Rep (U1 k p) x # to :: Rep (U1 k p) x -> U1 k p #
Generic (a, b)
Associated Types type Rep (a, b) :: * -> * # Methods from :: (a, b) -> Rep (a, b) x # to :: Rep (a, b) x -> (a, b) #
Generic (Arg a b)
Associated Types type Rep (Arg a b) :: * -> * # Methods from :: Arg a b -> Rep (Arg a b) x # to :: Rep (Arg a b) x -> Arg a b #
Generic (WrappedMonad m a)
Associated Types type Rep (WrappedMonad m a) :: * -> * # Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x # to :: Rep (WrappedMonad m a) x -> WrappedMonad m a #
Generic (Proxy k t)
Associated Types type Rep (Proxy k t) :: * -> * # Methods from :: Proxy k t -> Rep (Proxy k t) x # to :: Rep (Proxy k t) x -> Proxy k t #
Generic (VarMp' k v)
Associated Types type Rep (VarMp' k v) :: * -> * # Methods from :: VarMp' k v -> Rep (VarMp' k v) x # to :: Rep (VarMp' k v) x -> VarMp' k v #
Generic (Gr a b)
Associated Types type Rep (Gr a b) :: * -> * # Methods from :: Gr a b -> Rep (Gr a b) x # to :: Rep (Gr a b) x -> Gr a b #
Generic (VarMp' k v) #
Associated Types type Rep (VarMp' k v) :: * -> * # Methods from :: VarMp' k v -> Rep (VarMp' k v) x # to :: Rep (VarMp' k v) x -> VarMp' k v #
Generic (SGam k v) #
Associated Types type Rep (SGam k v) :: * -> * # Methods from :: SGam k v -> Rep (SGam k v) x # to :: Rep (SGam k v) x -> SGam k v #
Generic (Rec1 k f p)
Associated Types type Rep (Rec1 k f p) :: * -> * # Methods from :: Rec1 k f p -> Rep (Rec1 k f p) x # to :: Rep (Rec1 k f p) x -> Rec1 k f p #
Generic (URec k (Ptr ()) p)
Associated Types type Rep (URec k (Ptr ()) p) :: * -> * # Methods from :: URec k (Ptr ()) p -> Rep (URec k (Ptr ()) p) x # to :: Rep (URec k (Ptr ()) p) x -> URec k (Ptr ()) p #
Generic (URec k Char p)
Associated Types type Rep (URec k Char p) :: * -> * # Methods from :: URec k Char p -> Rep (URec k Char p) x # to :: Rep (URec k Char p) x -> URec k Char p #
Generic (URec k Double p)
Associated Types type Rep (URec k Double p) :: * -> * # Methods from :: URec k Double p -> Rep (URec k Double p) x # to :: Rep (URec k Double p) x -> URec k Double p #
Generic (URec k Float p)
Associated Types type Rep (URec k Float p) :: * -> * # Methods from :: URec k Float p -> Rep (URec k Float p) x # to :: Rep (URec k Float p) x -> URec k Float p #
Generic (URec k Int p)
Associated Types type Rep (URec k Int p) :: * -> * # Methods from :: URec k Int p -> Rep (URec k Int p) x # to :: Rep (URec k Int p) x -> URec k Int p #
Generic (URec k Word p)
Associated Types type Rep (URec k Word p) :: * -> * # Methods from :: URec k Word p -> Rep (URec k Word p) x # to :: Rep (URec k Word p) x -> URec k Word p #
Generic (a, b, c)
Associated Types type Rep (a, b, c) :: * -> * # Methods from :: (a, b, c) -> Rep (a, b, c) x # to :: Rep (a, b, c) x -> (a, b, c) #
Generic (WrappedArrow a b c)
Associated Types type Rep (WrappedArrow a b c) :: * -> * # Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x # to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c #
Generic (Const k a b)
Associated Types type Rep (Const k a b) :: * -> * # Methods from :: Const k a b -> Rep (Const k a b) x # to :: Rep (Const k a b) x -> Const k a b #
Generic (Alt k f a)
Associated Types type Rep (Alt k f a) :: * -> * # Methods from :: Alt k f a -> Rep (Alt k f a) x # to :: Rep (Alt k f a) x -> Alt k f a #
Generic (K1 k i c p)
Associated Types type Rep (K1 k i c p) :: * -> * # Methods from :: K1 k i c p -> Rep (K1 k i c p) x # to :: Rep (K1 k i c p) x -> K1 k i c p #
Generic ((:+:) k f g p)
Associated Types type Rep ((k :+: f) g p) :: * -> * # Methods from :: (k :+: f) g p -> Rep ((k :+: f) g p) x # to :: Rep ((k :+: f) g p) x -> (k :+: f) g p #
Generic ((:*:) k f g p)
Associated Types type Rep ((k :: f) g p) :: -> * # Methods from :: (k :: f) g p -> Rep ((k :: f) g p) x # to :: Rep ((k :: f) g p) x -> (k :: f) g p #
Generic (a, b, c, d)
Associated Types type Rep (a, b, c, d) :: * -> * # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x # to :: Rep (a, b, c, d) x -> (a, b, c, d) #
Generic (Product k f g a)
Associated Types type Rep (Product k f g a) :: * -> * # Methods from :: Product k f g a -> Rep (Product k f g a) x # to :: Rep (Product k f g a) x -> Product k f g a #
Generic (Sum k f g a)
Associated Types type Rep (Sum k f g a) :: * -> * # Methods from :: Sum k f g a -> Rep (Sum k f g a) x # to :: Rep (Sum k f g a) x -> Sum k f g a #
Generic (M1 k i c f p)
Associated Types type Rep (M1 k i c f p) :: * -> * # Methods from :: M1 k i c f p -> Rep (M1 k i c f p) x # to :: Rep (M1 k i c f p) x -> M1 k i c f p #
Generic ((:.:) k2 k1 f g p)
Associated Types type Rep ((k2 :.: k1) f g p) :: * -> * # Methods from :: (k2 :.: k1) f g p -> Rep ((k2 :.: k1) f g p) x # to :: Rep ((k2 :.: k1) f g p) x -> (k2 :.: k1) f g p #
Generic (a, b, c, d, e)
Associated Types type Rep (a, b, c, d, e) :: * -> * # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x # to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e) #
Generic (Compose k1 k2 f g a)
Associated Types type Rep (Compose k1 k2 f g a) :: * -> * # Methods from :: Compose k1 k2 f g a -> Rep (Compose k1 k2 f g a) x # to :: Rep (Compose k1 k2 f g a) x -> Compose k1 k2 f g a #
Generic (a, b, c, d, e, f)
Associated Types type Rep (a, b, c, d, e, f) :: * -> * # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x # to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f) #
Generic (a, b, c, d, e, f, g)
Associated Types type Rep (a, b, c, d, e, f, g) :: * -> * # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x # to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g) #