Using the purescript-by-example example:
type Entry =
{ firstName :: String
, lastName :: String
, address :: Address
}
entryIdentity :: Entry -> Entry
entryIdentity entry = entry
identity entry = entryIdentity entry
requesting the type of identity gives:
identity :: { firstName :: String , lastName :: String , address :: { street :: String , city :: String , state :: String } } -> { firstName :: String , lastName :: String , address :: { street :: String , city :: String , state :: String } }
rather than Entry -> Entry
Using the purescript-by-example example:
requesting the type of
identitygives:rather than
Entry -> Entry