Module
Untagged.TypeCheck
- Package
- purescript-untagged-union
- Repository
- jvliwanag/purescript-untagged-union
#HasRuntimeType Source
#newtypeHasRuntimeType Source
newtypeHasRuntimeType :: forall a r. Newtype a r => HasRuntimeType r => Proxy a -> Foreign -> Boolean
#HasRuntimeTypeRecordRL Source
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 Source
cast :: forall a x. HasRuntimeType a => x -> Maybe a