Module
Untagged.TypeCheck
- Package
- purescript-untagged-union
- Repository
- jvliwanag/purescript-untagged-union
#HasRuntimeType Source
#newtypeHasRuntimeType Source
newtypeHasRuntimeType :: forall r a. Newtype a r => HasRuntimeType r => Proxy a -> Foreign -> Boolean
#HasRuntimeTypeRecordRL Source
class HasRuntimeTypeRecordRL (rl :: RowList) where
Members
hasRuntimeTypeRecRL :: RLProxy rl -> Foreign -> Boolean
Instances
HasRuntimeTypeRecordRL Nil
(HasRuntimeTypeRecordRL tl, HasRuntimeType a, IsSymbol sym) => HasRuntimeTypeRecordRL (Cons sym a tl)
#cast Source
cast :: forall x a. HasRuntimeType a => x -> Maybe a