Source code Contents Index

Dynamics

Synopsis

data TyRep mkTyRep :: String -> String -> TyRep type Dyn = Dynamic toDyn :: (Typeable a) => a -> Dyn fromDyn :: (Typeable a) => Dyn -> Maybe a coerce :: (Typeable a) => Dyn -> a coerceIO :: (Typeable a) => Dyn -> IO a typeMismatch :: IOError dynCast :: (Typeable a, Typeable b) => String -> a -> b class HasTyRep ty where tyRep :: ty -> TyRep class HasTyRep1 ty where tyRep1 :: ty value -> TyRep class HasTyRep2 ty where tyRep2 :: ty value1 value2 -> TyRep class HasTyRep3 ty where tyRep3 :: ty value1 value2 value3 -> TyRep class HasTyRep4 ty where tyRep4 :: ty value1 value2 value3 value4 -> TyRep class HasTyRep1_1 ty where tyRep1_1 :: (HasTyRep1 typeArg) => ty typeArg -> TyRep class HasTyRep2_11 ty where tyRep2_11 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty typeArg1 typeArg2 -> TyRep class HasTyRep3_011 ty where tyRep3_011 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty value1 typeArg1 typeArg2 -> TyRep class HasTyRep4_0011 ty where tyRep4_0011 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty value1 value2 typeArg1 typeArg2 -> TyRep

Documentation

data TyRep

A TyCon with arguments.

mkTyRep :: String -> String -> TyRep

type Dyn = Dynamic

toDyn :: (Typeable a) => a -> Dyn

fromDyn :: (Typeable a) => Dyn -> Maybe a

coerce :: (Typeable a) => Dyn -> a

coerceIO :: (Typeable a) => Dyn -> IO a

typeMismatch :: IOError

dynCast :: (Typeable a, Typeable b) => String -> a -> b

class HasTyRep ty where

Methods tyRep :: ty -> TyRep Instances HasTyRep AtomString (HasTyRep1 ty, Typeable value) => HasTyRep (ty value) (HasTyRep1_1 ty, HasTyRep1 typeArg) => HasTyRep (ty typeArg) HasTyRep MatchResult HasTyRep UniqueStringSource

class HasTyRep1 ty where

Methods tyRep1 :: ty value -> TyRep Instances (HasTyRep2 ty, Typeable value1) => HasTyRep1 (ty value1) HasTyRep1 Dummy HasTyRep1 VariableSet

class HasTyRep2 ty where

Methods tyRep2 :: ty value1 value2 -> TyRep Instances (HasTyRep3 ty, Typeable value1) => HasTyRep2 (ty value1) HasTyRep2 Registry HasTyRep2 LockedRegistry HasTyRep2 VariableMap

class HasTyRep3 ty where

Methods tyRep3 :: ty value1 value2 value3 -> TyRep Instances (HasTyRep4 ty, Typeable value1) => HasTyRep3 (ty value1)

class HasTyRep4 ty where

Methods tyRep4 :: ty value1 value2 value3 value4 -> TyRep

class HasTyRep1_1 ty where

Methods tyRep1_1 :: (HasTyRep1 typeArg) => ty typeArg -> TyRep Instances (HasTyRep2_11 ty, HasTyRep1 typeArg) => HasTyRep1_1 (ty typeArg)

class HasTyRep2_11 ty where

Methods tyRep2_11 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty typeArg1 typeArg2 -> TyRep Instances (HasTyRep3_011 ty, Typeable value) => HasTyRep2_11 (ty value)

class HasTyRep3_011 ty where

Methods tyRep3_011 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty value1 typeArg1 typeArg2 -> TyRep Instances (HasTyRep4_0011 ty, Typeable value1) => HasTyRep3_011 (ty value1)

class HasTyRep4_0011 ty where

Methods tyRep4_0011 :: (HasTyRep1 typeArg1, HasTyRep1 typeArg2) => ty value1 value2 typeArg1 typeArg2 -> TyRep

Produced by Haddock version 0.3