Text.XML.Twiml.Internal

Documentation

data TwimlF p a where

This is the Functor we use when folding Twiml.

Constructors

EndF :: TwimlF p a

SayF :: SayAttributes -> String -> a -> TwimlF p a

PlayF :: PlayAttributes -> Maybe URL -> a -> TwimlF p a

GatherF :: p :/~ Gather' => GatherAttributes -> Twiml' Gather' -> a -> TwimlF p a

RecordF :: p :/~ Gather' => RecordAttributes -> a -> TwimlF p a

SmsF :: p :/~ Gather' => SmsAttributes -> String -> a -> TwimlF p a

DialF :: p :/~ Gather' => DialAttributes -> Either DialNoun String -> a -> TwimlF p a

EnqueueF :: p :/~ Gather' => EnqueueAttributes -> String -> a -> TwimlF p a

LeaveF :: p :/~ Gather' => TwimlF p a

HangupF :: p :/~ Gather' => TwimlF p a

RedirectF :: p :/~ Gather' => RedirectAttributes -> URL -> TwimlF p a

RejectF :: p :/~ Gather' => RejectAttributes -> TwimlF p a

PauseF :: PauseAttributes -> a -> TwimlF p a

Instances

Twiml p (Twiml' p)

Functor (TwimlF p)

Show (Twiml' p)

Foldable (Fix (TwimlF p))

class Twiml p t | t -> p where

Methods

toTwiml' :: t -> Twiml' p

Instances

Twiml Response Response

Twiml p (Twiml' p)

Twiml p (End p)

Twiml p (Say p)

Twiml p (Play p)

:/~ p Gather' => Twiml p (Gather p)

:/~ p Gather' => Twiml p (Record p)

:/~ p Gather' => Twiml p (Sms p)

:/~ p Gather' => Twiml p (Dial p)

:/~ p Gather' => Twiml p (Enqueue p)

:/~ p Gather' => Twiml p (Leave p)

:/~ p Gather' => Twiml p (Hangup p)

:/~ p Gather' => Twiml p (Redirect p)

:/~ p Gather' => Twiml p (Reject p)

Twiml p (Pause p)

type Twiml' p = Fix (TwimlF p)