Module

Hotteok

Package
purescript-hotteok
Repository
justinwoo/purescript-hotteok

#JSUnion Source

data JSUnion (members :: Row Type)

#UnsafeGuardFor Source

newtype UnsafeGuardFor (name :: Symbol) ty

Constructors

#unsafeGuardMember Source

unsafeGuardMember :: forall members members' ty name. Cons name ty members' members => UnsafeGuardFor name ty -> JSUnion members -> Either (JSUnion members') ty

#unsafeCoerceMember Source

unsafeCoerceMember :: forall members members' ty name. Cons name ty members' members => SProxy name -> JSUnion members -> ty

#unsafeExtractSingleton Source

unsafeExtractSingleton :: forall ty name members. RowToList members (Cons name ty Nil) => JSUnion members -> ty

#fromMember Source

fromMember :: forall members members' ty name. Cons name ty members' members => SProxy name -> ty -> JSUnion members

#matchJSUnion Source

matchJSUnion :: forall result pairs xs members. RowToList members xs => MatchMembers xs members pairs result => Record pairs -> JSUnion members -> Maybe result

#MatchMembers Source

class MatchMembers (xs :: RowList) (members :: Row Type) (pairs :: Row Type) result | xs result -> members pairs where

Members

Instances

Modules
Hotteok