Ch6

class HasAddress a  where

Members

• getAddress :: a -> Address

Instances

• HasAddress Person
• HasAddress Ceo
• HasAddress Janitor
• HasAddress Company
• HasAddress Residence
• HasAddress EmptyLot

data Address

Constructors

• Address { city :: String, state :: String, street1 :: String, street2 :: String, zip :: String }

Instances

• Eq Address

type Directions = String

newtype Person

Constructors

• Person { address :: Address, age :: Int, name :: String }

Instances

• HasAddress Person
• Eq Person

newtype Ceo

Constructors

• Ceo Person

Instances

• Newtype Ceo _
• HasAddress Ceo

newtype Janitor

Constructors

• Janitor Person

Instances

• Newtype Janitor _
• HasAddress Janitor

data Company

Constructors

• Company { address :: Address, name :: String }

Instances

• HasAddress Company

data Residence

Constructors

• Home Address
• Facility Address

Instances

• HasAddress Residence

data EmptyLot

Constructors

• EmptyLot { address :: Address, daysEmpty :: Int, price :: Int }

Instances

• HasAddress EmptyLot

person :: Person

company :: Company

home :: Residence

facility :: Residence

getDirections :: forall a. HasAddress a => a -> Directions

data Place

Constructors

• First
• Second
• Third

Instances

• Eq Place
• Ord Place
• Show Place

data SomeType

Constructors

• This
• That
• TheOther
• AndYetAnother

Instances

• Eq SomeType
• Ord SomeType
• Generic SomeType _
• Show SomeType

newtype FirstName

Constructors

• FirstName String

Instances

• Newtype FirstName _
• Eq FirstName

newtype LastName

Constructors

• LastName String

Instances

• Newtype LastName _

fullName :: FirstName -> LastName -> String

fullName' :: FirstName -> LastName -> String

glueNames :: forall a b. Newtype a String => Newtype b String => String -> a -> b -> String

lastNameFirst :: LastName -> FirstName -> String

fullName'' :: FirstName -> LastName -> String

class Combine a  where

Members

• combine :: a -> a -> a

Instances

• Combine AddInt
• Combine MultInt

newtype AddInt

Constructors

• AddInt Int

Instances

• Combine AddInt

newtype MultInt

Constructors

• MultInt Int

Instances

• Combine MultInt

class IsRecord a  where

Members

• isRecord :: a -> Boolean

Instances

• IsRecord (Record a)
• IsRecord a

class Decapitate collection element  where

Members

• decapitate :: collection -> Maybe { head :: element, tail :: collection }

Instances

• Decapitate (List a) a
• Decapitate String Char

test :: Effect Unit