Module

Hotteok

Package: purescript-hotteok
Repository: justinwoo/purescript-hotteok

#JSUnion Source

data JSUnion (members :: Row Type)

#UnsafeGuardFor Source

newtype UnsafeGuardFor (name :: Symbol) ty

Constructors

UnsafeGuardFor (Foreign -> Boolean)

#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

matchMembers :: RLProxy xs -> Record pairs -> JSUnion members -> Maybe result

Instances

MatchMembers Nil members pairs result
(IsSymbol name, Cons name ty members' members, Cons name (Tuple (UnsafeGuardFor name ty) (ty -> result)) pairs' pairs, MatchMembers tail members pairs result) => MatchMembers (Cons name ty tail) members pairs result

Modules: Hotteok