Untagged.TypeCheck

class HasRuntimeType a  where

Members

• hasRuntimeType :: Proxy a -> Foreign -> Boolean

Instances

• HasRuntimeType Undefined
• HasRuntimeType Null
• HasRuntimeType Boolean
• HasRuntimeType Int
• HasRuntimeType Number
• HasRuntimeType String
• HasRuntimeType Foreign
• (HasRuntimeType e) => HasRuntimeType (Object e)
• (RowToList r rl, HasRuntimeTypeRecordRL rl) => HasRuntimeType (Record r)

newtypeHasRuntimeType :: forall a r. Newtype a r => HasRuntimeType r => Proxy a -> Foreign -> Boolean

class HasRuntimeTypeRecordRL (rl :: RowList Type)  where

Members

• hasRuntimeTypeRecRL :: forall proxy. proxy rl -> Foreign -> Boolean

Instances

• HasRuntimeTypeRecordRL Nil
• (HasRuntimeTypeRecordRL tl, HasRuntimeType a, IsSymbol sym) => HasRuntimeTypeRecordRL (Cons sym a tl)

cast :: forall a x. HasRuntimeType a => x -> Maybe a