Source codeContentsIndex
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