Text.XML.Twiml.Internal.Twiml

This module defines all of the TwiML verbs and nouns in a single place (mainly due to a few mutually-recursive definitions). This modules also exposeses the internals of each TwiML's attributes.

Prefer the definitions re-exported by the Text.XML.Twiml and Text.XML.Twiml.Verbs modules to those exported here.

TwiML

data MessagingTwiml

Constructors

MessagingTwiml (IxFree MessagingVerbsF i Void)

Instances

Show MessagingTwiml

Methods

showsPrec :: Int -> MessagingTwiml -> ShowS

show :: MessagingTwiml -> String

showList :: [MessagingTwiml] -> ShowS

ToElement MessagingTwiml

Methods

toElement :: MessagingTwiml -> Element

newtype MessagingVerbsF i a

Constructors

MessagingVerbsF

Fields

• getMessagingVerbsF :: (MessageF i :+: (RedirectF i :+: (SmsF i :+: EndF i))) a

Instances

Functor (MessagingVerbsF i)

Methods

fmap :: (a -> b) -> MessagingVerbsF i a -> MessagingVerbsF i b

(<$) :: a -> MessagingVerbsF i b -> MessagingVerbsF i a

Show1 [Type] MessagingVerbsF

Methods

show1 :: Show a => f i a -> String

Functor1 [Type] MessagingVerbsF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

(Functor (f i), (:<:) (f i) ((:+:) * (MessageF i) ((:+:) * (RedirectF i) ((:+:) * (SmsF i) (EndF i))))) => (f i) :<: (MessagingVerbsF i)

Methods

inj :: f i a -> MessagingVerbsF i a

prj :: MessagingVerbsF i a -> Maybe (f i a)

Show a => Show (MessagingVerbsF i a)

Methods

showsPrec :: Int -> MessagingVerbsF i a -> ShowS

show :: MessagingVerbsF i a -> String

showList :: [MessagingVerbsF i a] -> ShowS

Generic (MessagingVerbsF i a)

Associated Types

type Rep (MessagingVerbsF i a) :: * -> *

Methods

from :: MessagingVerbsF i a -> Rep (MessagingVerbsF i a) x

to :: Rep (MessagingVerbsF i a) x -> MessagingVerbsF i a

ToXML a => ToXML (MessagingVerbsF i a)

Methods

toXML :: MessagingVerbsF i a -> [Element]

ToXML (IxFree Type MessagingVerbsF i Void)

Methods

toXML :: IxFree Type MessagingVerbsF i Void -> [Element]

type Rep (MessagingVerbsF i a)

type Rep (MessagingVerbsF i a) = D1 (MetaData "MessagingVerbsF" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" True) (C1 (MetaCons "MessagingVerbsF" PrefixI True) (S1 (MetaSel (Just Symbol "getMessagingVerbsF") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((:+:) * (MessageF i) ((:+:) * (RedirectF i) ((:+:) * (SmsF i) (EndF i))) a))))

data VoiceTwiml

Constructors

VoiceTwiml (IxFree VoiceVerbsF i Void)

Instances

Show VoiceTwiml

Methods

showsPrec :: Int -> VoiceTwiml -> ShowS

show :: VoiceTwiml -> String

showList :: [VoiceTwiml] -> ShowS

ToElement VoiceTwiml

Methods

toElement :: VoiceTwiml -> Element

newtype VoiceVerbsF i a

Constructors

VoiceVerbsF

Fields

• getVoiceVerbsF :: (SayF i :+: (PlayF i :+: (GatherF i :+: (SmsF i :+: (DialF i :+: (EnqueueF i :+: (LeaveF i :+: (HangupF i :+: (RecordF i :+: (RedirectF i :+: (RejectF i :+: (PauseF i :+: EndF i)))))))))))) a

Instances

Functor (VoiceVerbsF i)

Methods

fmap :: (a -> b) -> VoiceVerbsF i a -> VoiceVerbsF i b

(<$) :: a -> VoiceVerbsF i b -> VoiceVerbsF i a

Show1 [Type] VoiceVerbsF

Methods

show1 :: Show a => f i a -> String

Functor1 [Type] VoiceVerbsF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

(Functor (f i), (:<:) (f i) ((:+:) * (SayF i) ((:+:) * (PlayF i) ((:+:) * (GatherF i) ((:+:) * (SmsF i) ((:+:) * (DialF i) ((:+:) * (EnqueueF i) ((:+:) * (LeaveF i) ((:+:) * (HangupF i) ((:+:) * (RecordF i) ((:+:) * (RedirectF i) ((:+:) * (RejectF i) ((:+:) * (PauseF i) (EndF i)))))))))))))) => (f i) :<: (VoiceVerbsF i)

Methods

inj :: f i a -> VoiceVerbsF i a

prj :: VoiceVerbsF i a -> Maybe (f i a)

Show a => Show (VoiceVerbsF i a)

Methods

showsPrec :: Int -> VoiceVerbsF i a -> ShowS

show :: VoiceVerbsF i a -> String

showList :: [VoiceVerbsF i a] -> ShowS

Generic (VoiceVerbsF i a)

Associated Types

type Rep (VoiceVerbsF i a) :: * -> *

Methods

from :: VoiceVerbsF i a -> Rep (VoiceVerbsF i a) x

to :: Rep (VoiceVerbsF i a) x -> VoiceVerbsF i a

ToXML a => ToXML (VoiceVerbsF i a)

Methods

toXML :: VoiceVerbsF i a -> [Element]

ToXML (IxFree Type VoiceVerbsF i Void)

Methods

toXML :: IxFree Type VoiceVerbsF i Void -> [Element]

type Rep (VoiceVerbsF i a)

type Rep (VoiceVerbsF i a) = D1 (MetaData "VoiceVerbsF" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" True) (C1 (MetaCons "VoiceVerbsF" PrefixI True) (S1 (MetaSel (Just Symbol "getVoiceVerbsF") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((:+:) * (SayF i) ((:+:) * (PlayF i) ((:+:) * (GatherF i) ((:+:) * (SmsF i) ((:+:) * (DialF i) ((:+:) * (EnqueueF i) ((:+:) * (LeaveF i) ((:+:) * (HangupF i) ((:+:) * (RecordF i) ((:+:) * (RedirectF i) ((:+:) * (RejectF i) ((:+:) * (PauseF i) (EndF i)))))))))))) a))))

type family Base d where ...

Base maps the empty data declaration for a TwiML verb to its corresponding base functor.

Equations

Base Dial = DialF

Base End = EndF

Base Enqueue = EnqueueF

Base Gather = GatherF

Base Hangup = HangupF

Base Leave = LeaveF

Base Message = MessageF

Base Pause = PauseF

Base Play = PlayF

Base Record = RecordF

Base Redirect = RedirectF

Base Reject = RejectF

Base Say = SayF

Base Sms = SmsF

Base Client = ClientF

Base Conference = ConferenceF

Base Number = NumberF

Base Queue = QueueF

Base Sip = SipF

type IsTwimlLike f i = (Functor1 f, Base i '[i] :<: f '[i])

type TwimlLike f i = TwimlLike' f '[i]

type TwimlLike' f = IxFree f

response :: IxFree VoiceVerbsF i Void -> VoiceTwiml

Nouns

data DialNoun

Constructors

DialNoun (IxFree DialNounF i Void)

Instances

Show DialNoun

Methods

showsPrec :: Int -> DialNoun -> ShowS

show :: DialNoun -> String

showList :: [DialNoun] -> ShowS

ToXML DialNoun

Methods

toXML :: DialNoun -> [Element]

ToSomeNode DialNoun

Methods

toSomeNode :: DialNoun -> SomeNode

newtype DialNounF i a

Constructors

DialNounF

Fields

• getDialNounF :: (ClientF i :+: (ConferenceF i :+: (NumberF i :+: (QueueF i :+: SipF i)))) a

Instances

Functor (DialNounF i)

Methods

fmap :: (a -> b) -> DialNounF i a -> DialNounF i b

(<$) :: a -> DialNounF i b -> DialNounF i a

Show1 [Type] DialNounF

Methods

show1 :: Show a => f i a -> String

Functor1 [Type] DialNounF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

(Functor (f i), (:<:) (f i) ((:+:) * (ClientF i) ((:+:) * (ConferenceF i) ((:+:) * (NumberF i) ((:+:) * (QueueF i) (SipF i)))))) => (f i) :<: (DialNounF i)

Methods

inj :: f i a -> DialNounF i a

prj :: DialNounF i a -> Maybe (f i a)

Show a => Show (DialNounF i a)

Methods

showsPrec :: Int -> DialNounF i a -> ShowS

show :: DialNounF i a -> String

showList :: [DialNounF i a] -> ShowS

Generic (DialNounF i a)

Associated Types

type Rep (DialNounF i a) :: * -> *

Methods

from :: DialNounF i a -> Rep (DialNounF i a) x

to :: Rep (DialNounF i a) x -> DialNounF i a

ToXML (DialNounF i a)

Methods

toXML :: DialNounF i a -> [Element]

ToXML (IxFree Type DialNounF i Void)

Methods

toXML :: IxFree Type DialNounF i Void -> [Element]

type Rep (DialNounF i a)

type Rep (DialNounF i a) = D1 (MetaData "DialNounF" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" True) (C1 (MetaCons "DialNounF" PrefixI True) (S1 (MetaSel (Just Symbol "getDialNounF") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ((:+:) * (ClientF i) ((:+:) * (ConferenceF i) ((:+:) * (NumberF i) ((:+:) * (QueueF i) (SipF i)))) a))))

Client

data Client

data ClientF i a

Constructors

(Proxy i ~ Proxy '[Client]) => ClientF String ClientAttributes

Instances

Functor (ClientF i)

Methods

fmap :: (a -> b) -> ClientF i a -> ClientF i b

(<$) :: a -> ClientF i b -> ClientF i a

Functor1 [Type] ClientF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (ClientF i a)

Methods

showsPrec :: Int -> ClientF i a -> ShowS

show :: ClientF i a -> String

showList :: [ClientF i a] -> ShowS

ToXML (ClientF i a)

Methods

toXML :: ClientF i a -> [Element]

data ClientAttributes

Constructors

ClientAttributes

Fields

• _clientUrl :: !(Maybe URL)
• _clientMethod :: !(Maybe Method)

Instances

Eq ClientAttributes

Methods

(==) :: ClientAttributes -> ClientAttributes -> Bool

(/=) :: ClientAttributes -> ClientAttributes -> Bool

Data ClientAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClientAttributes -> c ClientAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClientAttributes

toConstr :: ClientAttributes -> Constr

dataTypeOf :: ClientAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ClientAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClientAttributes)

gmapT :: (forall b. Data b => b -> b) -> ClientAttributes -> ClientAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClientAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClientAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> ClientAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClientAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClientAttributes -> m ClientAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientAttributes -> m ClientAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClientAttributes -> m ClientAttributes

Ord ClientAttributes

Methods

compare :: ClientAttributes -> ClientAttributes -> Ordering

(<) :: ClientAttributes -> ClientAttributes -> Bool

(<=) :: ClientAttributes -> ClientAttributes -> Bool

(>) :: ClientAttributes -> ClientAttributes -> Bool

(>=) :: ClientAttributes -> ClientAttributes -> Bool

max :: ClientAttributes -> ClientAttributes -> ClientAttributes

min :: ClientAttributes -> ClientAttributes -> ClientAttributes

Read ClientAttributes

Methods

readsPrec :: Int -> ReadS ClientAttributes

readList :: ReadS [ClientAttributes]

readPrec :: ReadPrec ClientAttributes

readListPrec :: ReadPrec [ClientAttributes]

Show ClientAttributes

Methods

showsPrec :: Int -> ClientAttributes -> ShowS

show :: ClientAttributes -> String

showList :: [ClientAttributes] -> ShowS

Generic ClientAttributes

Associated Types

type Rep ClientAttributes :: * -> *

Methods

from :: ClientAttributes -> Rep ClientAttributes x

to :: Rep ClientAttributes x -> ClientAttributes

Default ClientAttributes

Methods

def :: ClientAttributes

NFData ClientAttributes

Methods

rnf :: ClientAttributes -> ()

ToAttrs ClientAttributes

Methods

toAttrs :: ClientAttributes -> [Attr]

HasMethod ClientAttributes (Maybe Method)

Methods

method :: Lens' ClientAttributes (Maybe Method)

HasUrl ClientAttributes (Maybe URL)

Methods

url :: Lens' ClientAttributes (Maybe URL)

type Rep ClientAttributes

type Rep ClientAttributes = D1 (MetaData "ClientAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "ClientAttributes" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_clientUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_clientMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method)))))

Conference

data Conference

data ConferenceF i a

Constructors

(Proxy i ~ Proxy '[Conference]) => ConferenceF String ConferenceAttributes

Instances

Functor (ConferenceF i)

Methods

fmap :: (a -> b) -> ConferenceF i a -> ConferenceF i b

(<$) :: a -> ConferenceF i b -> ConferenceF i a

Functor1 [Type] ConferenceF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (ConferenceF i a)

Methods

showsPrec :: Int -> ConferenceF i a -> ShowS

show :: ConferenceF i a -> String

showList :: [ConferenceF i a] -> ShowS

ToXML (ConferenceF i a)

Methods

toXML :: ConferenceF i a -> [Element]

data ConferenceAttributes

Constructors

ConferenceAttributes

Fields

• _conferenceMuted :: !(Maybe Bool)
• _conferenceBeep :: !(Maybe Bool)
• _conferenceStartOnEnter :: !(Maybe Bool)
• _conferenceEndOnExit :: !(Maybe Bool)
• _conferenceWaitURL :: !(Maybe URL)
• _conferenceWaitMethod :: !(Maybe Method)
• _conferenceMaxParticipants :: !(Maybe Natural)

Instances

Eq ConferenceAttributes

Methods

(==) :: ConferenceAttributes -> ConferenceAttributes -> Bool

(/=) :: ConferenceAttributes -> ConferenceAttributes -> Bool

Data ConferenceAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConferenceAttributes -> c ConferenceAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConferenceAttributes

toConstr :: ConferenceAttributes -> Constr

dataTypeOf :: ConferenceAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ConferenceAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConferenceAttributes)

gmapT :: (forall b. Data b => b -> b) -> ConferenceAttributes -> ConferenceAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConferenceAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConferenceAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> ConferenceAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConferenceAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConferenceAttributes -> m ConferenceAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConferenceAttributes -> m ConferenceAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConferenceAttributes -> m ConferenceAttributes

Ord ConferenceAttributes

Methods

compare :: ConferenceAttributes -> ConferenceAttributes -> Ordering

(<) :: ConferenceAttributes -> ConferenceAttributes -> Bool

(<=) :: ConferenceAttributes -> ConferenceAttributes -> Bool

(>) :: ConferenceAttributes -> ConferenceAttributes -> Bool

(>=) :: ConferenceAttributes -> ConferenceAttributes -> Bool

max :: ConferenceAttributes -> ConferenceAttributes -> ConferenceAttributes

min :: ConferenceAttributes -> ConferenceAttributes -> ConferenceAttributes

Read ConferenceAttributes

Methods

readsPrec :: Int -> ReadS ConferenceAttributes

readList :: ReadS [ConferenceAttributes]

readPrec :: ReadPrec ConferenceAttributes

readListPrec :: ReadPrec [ConferenceAttributes]

Show ConferenceAttributes

Methods

showsPrec :: Int -> ConferenceAttributes -> ShowS

show :: ConferenceAttributes -> String

showList :: [ConferenceAttributes] -> ShowS

Generic ConferenceAttributes

Associated Types

type Rep ConferenceAttributes :: * -> *

Methods

from :: ConferenceAttributes -> Rep ConferenceAttributes x

to :: Rep ConferenceAttributes x -> ConferenceAttributes

Default ConferenceAttributes

Methods

def :: ConferenceAttributes

NFData ConferenceAttributes

Methods

rnf :: ConferenceAttributes -> ()

ToAttrs ConferenceAttributes

Methods

toAttrs :: ConferenceAttributes -> [Attr]

HasWaitURL ConferenceAttributes (Maybe URL)

Methods

waitURL :: Lens' ConferenceAttributes (Maybe URL)

HasWaitMethod ConferenceAttributes (Maybe Method)

Methods

waitMethod :: Lens' ConferenceAttributes (Maybe Method)

HasStartOnEnter ConferenceAttributes (Maybe Bool)

Methods

startOnEnter :: Lens' ConferenceAttributes (Maybe Bool)

HasMuted ConferenceAttributes (Maybe Bool)

Methods

muted :: Lens' ConferenceAttributes (Maybe Bool)

HasMaxParticipants ConferenceAttributes (Maybe Natural)

Methods

maxParticipants :: Lens' ConferenceAttributes (Maybe Natural)

HasEndOnExit ConferenceAttributes (Maybe Bool)

Methods

endOnExit :: Lens' ConferenceAttributes (Maybe Bool)

HasBeep ConferenceAttributes (Maybe Bool)

Methods

beep :: Lens' ConferenceAttributes (Maybe Bool)

type Rep ConferenceAttributes

type Rep ConferenceAttributes = D1 (MetaData "ConferenceAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "ConferenceAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_conferenceMuted") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool))) ((:*:) (S1 (MetaSel (Just Symbol "_conferenceBeep") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "_conferenceStartOnEnter") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_conferenceEndOnExit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "_conferenceWaitURL") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL)))) ((:*:) (S1 (MetaSel (Just Symbol "_conferenceWaitMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))) (S1 (MetaSel (Just Symbol "_conferenceMaxParticipants") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural)))))))

Number

data Number

data NumberF i a

Constructors

(Proxy i ~ Proxy '[Number]) => NumberF String NumberAttributes

Instances

Functor (NumberF i)

Methods

fmap :: (a -> b) -> NumberF i a -> NumberF i b

(<$) :: a -> NumberF i b -> NumberF i a

Functor1 [Type] NumberF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (NumberF i a)

Methods

showsPrec :: Int -> NumberF i a -> ShowS

show :: NumberF i a -> String

showList :: [NumberF i a] -> ShowS

ToXML (NumberF i a)

Methods

toXML :: NumberF i a -> [Element]

data NumberAttributes

Constructors

NumberAttributes

Fields

• _numberSendDigits :: !(Maybe Digits)
• _numberUrl :: !(Maybe URL)
• _numberMethod :: !(Maybe Method)

Instances

Eq NumberAttributes

Methods

(==) :: NumberAttributes -> NumberAttributes -> Bool

(/=) :: NumberAttributes -> NumberAttributes -> Bool

Data NumberAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NumberAttributes -> c NumberAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NumberAttributes

toConstr :: NumberAttributes -> Constr

dataTypeOf :: NumberAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NumberAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NumberAttributes)

gmapT :: (forall b. Data b => b -> b) -> NumberAttributes -> NumberAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NumberAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NumberAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> NumberAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NumberAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NumberAttributes -> m NumberAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NumberAttributes -> m NumberAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NumberAttributes -> m NumberAttributes

Ord NumberAttributes

Methods

compare :: NumberAttributes -> NumberAttributes -> Ordering

(<) :: NumberAttributes -> NumberAttributes -> Bool

(<=) :: NumberAttributes -> NumberAttributes -> Bool

(>) :: NumberAttributes -> NumberAttributes -> Bool

(>=) :: NumberAttributes -> NumberAttributes -> Bool

max :: NumberAttributes -> NumberAttributes -> NumberAttributes

min :: NumberAttributes -> NumberAttributes -> NumberAttributes

Read NumberAttributes

Methods

readsPrec :: Int -> ReadS NumberAttributes

readList :: ReadS [NumberAttributes]

readPrec :: ReadPrec NumberAttributes

readListPrec :: ReadPrec [NumberAttributes]

Show NumberAttributes

Methods

showsPrec :: Int -> NumberAttributes -> ShowS

show :: NumberAttributes -> String

showList :: [NumberAttributes] -> ShowS

Generic NumberAttributes

Associated Types

type Rep NumberAttributes :: * -> *

Methods

from :: NumberAttributes -> Rep NumberAttributes x

to :: Rep NumberAttributes x -> NumberAttributes

Default NumberAttributes

Methods

def :: NumberAttributes

NFData NumberAttributes

Methods

rnf :: NumberAttributes -> ()

ToAttrs NumberAttributes

Methods

toAttrs :: NumberAttributes -> [Attr]

HasMethod NumberAttributes (Maybe Method)

Methods

method :: Lens' NumberAttributes (Maybe Method)

HasUrl NumberAttributes (Maybe URL)

Methods

url :: Lens' NumberAttributes (Maybe URL)

type Rep NumberAttributes

type Rep NumberAttributes

Queue

data Queue

data QueueF i a

Constructors

(Proxy i ~ Proxy '[Queue]) => QueueF String QueueAttributes

Instances

Functor (QueueF i)

Methods

fmap :: (a -> b) -> QueueF i a -> QueueF i b

(<$) :: a -> QueueF i b -> QueueF i a

Functor1 [Type] QueueF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (QueueF i a)

Methods

showsPrec :: Int -> QueueF i a -> ShowS

show :: QueueF i a -> String

showList :: [QueueF i a] -> ShowS

ToXML (QueueF i a)

Methods

toXML :: QueueF i a -> [Element]

data QueueAttributes

Constructors

QueueAttributes

Fields

• _queueUrl :: !(Maybe URL)
• _queueMethod :: !(Maybe Method)

Instances

Eq QueueAttributes

Methods

(==) :: QueueAttributes -> QueueAttributes -> Bool

(/=) :: QueueAttributes -> QueueAttributes -> Bool

Data QueueAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QueueAttributes -> c QueueAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QueueAttributes

toConstr :: QueueAttributes -> Constr

dataTypeOf :: QueueAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c QueueAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QueueAttributes)

gmapT :: (forall b. Data b => b -> b) -> QueueAttributes -> QueueAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QueueAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QueueAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> QueueAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> QueueAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> QueueAttributes -> m QueueAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QueueAttributes -> m QueueAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QueueAttributes -> m QueueAttributes

Ord QueueAttributes

Methods

compare :: QueueAttributes -> QueueAttributes -> Ordering

(<) :: QueueAttributes -> QueueAttributes -> Bool

(<=) :: QueueAttributes -> QueueAttributes -> Bool

(>) :: QueueAttributes -> QueueAttributes -> Bool

(>=) :: QueueAttributes -> QueueAttributes -> Bool

max :: QueueAttributes -> QueueAttributes -> QueueAttributes

min :: QueueAttributes -> QueueAttributes -> QueueAttributes

Read QueueAttributes

Methods

readsPrec :: Int -> ReadS QueueAttributes

readList :: ReadS [QueueAttributes]

readPrec :: ReadPrec QueueAttributes

readListPrec :: ReadPrec [QueueAttributes]

Show QueueAttributes

Methods

showsPrec :: Int -> QueueAttributes -> ShowS

show :: QueueAttributes -> String

showList :: [QueueAttributes] -> ShowS

Generic QueueAttributes

Associated Types

type Rep QueueAttributes :: * -> *

Methods

from :: QueueAttributes -> Rep QueueAttributes x

to :: Rep QueueAttributes x -> QueueAttributes

Default QueueAttributes

Methods

def :: QueueAttributes

NFData QueueAttributes

Methods

rnf :: QueueAttributes -> ()

ToAttrs QueueAttributes

Methods

toAttrs :: QueueAttributes -> [Attr]

HasMethod QueueAttributes (Maybe Method)

Methods

method :: Lens' QueueAttributes (Maybe Method)

HasUrl QueueAttributes (Maybe URL)

Methods

url :: Lens' QueueAttributes (Maybe URL)

type Rep QueueAttributes

type Rep QueueAttributes = D1 (MetaData "QueueAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "QueueAttributes" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_queueUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_queueMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method)))))

Sip

data Sip

data SipF i a

Constructors

(Proxy i ~ Proxy '[Sip]) => SipF URL SipAttributes

Instances

Functor (SipF i)

Methods

fmap :: (a -> b) -> SipF i a -> SipF i b

(<$) :: a -> SipF i b -> SipF i a

Functor1 [Type] SipF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (SipF i a)

Methods

showsPrec :: Int -> SipF i a -> ShowS

show :: SipF i a -> String

showList :: [SipF i a] -> ShowS

ToXML (SipF i a)

Methods

toXML :: SipF i a -> [Element]

data SipAttributes

Constructors

SipAttributes

Fields

• _sipUsername :: !(Maybe String)
• _sipPassword :: !(Maybe String)
• _sipTransport :: !(Maybe Transport)
• _sipHeaders :: !(Maybe String)
• _sipUrl :: !(Maybe URL)
• _sipMethod :: !(Maybe Method)

Instances

Eq SipAttributes

Methods

(==) :: SipAttributes -> SipAttributes -> Bool

(/=) :: SipAttributes -> SipAttributes -> Bool

Data SipAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SipAttributes -> c SipAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SipAttributes

toConstr :: SipAttributes -> Constr

dataTypeOf :: SipAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SipAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SipAttributes)

gmapT :: (forall b. Data b => b -> b) -> SipAttributes -> SipAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SipAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SipAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> SipAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SipAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SipAttributes -> m SipAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SipAttributes -> m SipAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SipAttributes -> m SipAttributes

Ord SipAttributes

Methods

compare :: SipAttributes -> SipAttributes -> Ordering

(<) :: SipAttributes -> SipAttributes -> Bool

(<=) :: SipAttributes -> SipAttributes -> Bool

(>) :: SipAttributes -> SipAttributes -> Bool

(>=) :: SipAttributes -> SipAttributes -> Bool

max :: SipAttributes -> SipAttributes -> SipAttributes

min :: SipAttributes -> SipAttributes -> SipAttributes

Read SipAttributes

Methods

readsPrec :: Int -> ReadS SipAttributes

readList :: ReadS [SipAttributes]

readPrec :: ReadPrec SipAttributes

readListPrec :: ReadPrec [SipAttributes]

Show SipAttributes

Methods

showsPrec :: Int -> SipAttributes -> ShowS

show :: SipAttributes -> String

showList :: [SipAttributes] -> ShowS

Generic SipAttributes

Associated Types

type Rep SipAttributes :: * -> *

Methods

from :: SipAttributes -> Rep SipAttributes x

to :: Rep SipAttributes x -> SipAttributes

Default SipAttributes

Methods

def :: SipAttributes

NFData SipAttributes

Methods

rnf :: SipAttributes -> ()

ToAttrs SipAttributes

Methods

toAttrs :: SipAttributes -> [Attr]

HasMethod SipAttributes (Maybe Method)

Methods

method :: Lens' SipAttributes (Maybe Method)

HasUrl SipAttributes (Maybe URL)

Methods

url :: Lens' SipAttributes (Maybe URL)

HasUsername SipAttributes (Maybe String)

Methods

username :: Lens' SipAttributes (Maybe String)

HasTransport SipAttributes (Maybe Transport)

Methods

transport :: Lens' SipAttributes (Maybe Transport)

HasPassword SipAttributes (Maybe String)

Methods

password :: Lens' SipAttributes (Maybe String)

HasHeaders SipAttributes (Maybe String)

Methods

headers :: Lens' SipAttributes (Maybe String)

type Rep SipAttributes

type Rep SipAttributes = D1 (MetaData "SipAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "SipAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_sipUsername") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) ((:*:) (S1 (MetaSel (Just Symbol "_sipPassword") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "_sipTransport") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Transport))))) ((:*:) (S1 (MetaSel (Just Symbol "_sipHeaders") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) ((:*:) (S1 (MetaSel (Just Symbol "_sipUrl") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_sipMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method)))))))

Verbs

Dial

data Dial

data DialF i a

Constructors

(Proxy i ~ Proxy '[Dial]) => DialF EitherDialNounString DialAttributes a

Instances

Functor (DialF i)

Methods

fmap :: (a -> b) -> DialF i a -> DialF i b

(<$) :: a -> DialF i b -> DialF i a

Functor1 [Type] DialF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (DialF i a)

Methods

showsPrec :: Int -> DialF i a -> ShowS

show :: DialF i a -> String

showList :: [DialF i a] -> ShowS

ToXML a => ToXML (DialF i a)

Methods

toXML :: DialF i a -> [Element]

data DialAttributes

Constructors

DialAttributes

Fields

• _dialAction :: !(Maybe URL)
• _dialMethod :: !(Maybe Method)
• _dialTimeout :: !(Maybe Natural)
• _dialHangupOnStar :: !(Maybe Bool)
• _dialTimeLimit :: !(Maybe Natural)
• _dialCallerId :: !(Maybe String)
• _dialRecord' :: !(Maybe Bool)

Instances

Eq DialAttributes

Methods

(==) :: DialAttributes -> DialAttributes -> Bool

(/=) :: DialAttributes -> DialAttributes -> Bool

Data DialAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DialAttributes -> c DialAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DialAttributes

toConstr :: DialAttributes -> Constr

dataTypeOf :: DialAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DialAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DialAttributes)

gmapT :: (forall b. Data b => b -> b) -> DialAttributes -> DialAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DialAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DialAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> DialAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DialAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DialAttributes -> m DialAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DialAttributes -> m DialAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DialAttributes -> m DialAttributes

Ord DialAttributes

Methods

compare :: DialAttributes -> DialAttributes -> Ordering

(<) :: DialAttributes -> DialAttributes -> Bool

(<=) :: DialAttributes -> DialAttributes -> Bool

(>) :: DialAttributes -> DialAttributes -> Bool

(>=) :: DialAttributes -> DialAttributes -> Bool

max :: DialAttributes -> DialAttributes -> DialAttributes

min :: DialAttributes -> DialAttributes -> DialAttributes

Read DialAttributes

Methods

readsPrec :: Int -> ReadS DialAttributes

readList :: ReadS [DialAttributes]

readPrec :: ReadPrec DialAttributes

readListPrec :: ReadPrec [DialAttributes]

Show DialAttributes

Methods

showsPrec :: Int -> DialAttributes -> ShowS

show :: DialAttributes -> String

showList :: [DialAttributes] -> ShowS

Generic DialAttributes

Associated Types

type Rep DialAttributes :: * -> *

Methods

from :: DialAttributes -> Rep DialAttributes x

to :: Rep DialAttributes x -> DialAttributes

Default DialAttributes

Methods

def :: DialAttributes

NFData DialAttributes

Methods

rnf :: DialAttributes -> ()

ToAttrs DialAttributes

Methods

toAttrs :: DialAttributes -> [Attr]

HasTimeout DialAttributes (Maybe Natural)

Methods

timeout :: Lens' DialAttributes (Maybe Natural)

HasMethod DialAttributes (Maybe Method)

Methods

method :: Lens' DialAttributes (Maybe Method)

HasAction DialAttributes (Maybe URL)

Methods

action :: Lens' DialAttributes (Maybe URL)

HasTimeLimit DialAttributes (Maybe Natural)

Methods

timeLimit :: Lens' DialAttributes (Maybe Natural)

HasRecord' DialAttributes (Maybe Bool)

Methods

record' :: Lens' DialAttributes (Maybe Bool)

HasHangupOnStar DialAttributes (Maybe Bool)

Methods

hangupOnStar :: Lens' DialAttributes (Maybe Bool)

HasCallerId DialAttributes (Maybe String)

Methods

callerId :: Lens' DialAttributes (Maybe String)

type Rep DialAttributes

type Rep DialAttributes = D1 (MetaData "DialAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "DialAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_dialAction") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) ((:*:) (S1 (MetaSel (Just Symbol "_dialMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))) (S1 (MetaSel (Just Symbol "_dialTimeout") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_dialHangupOnStar") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "_dialTimeLimit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural)))) ((:*:) (S1 (MetaSel (Just Symbol "_dialCallerId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "_dialRecord'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool)))))))

End

data End

data EndF i a

Constructors

(Proxy i ~ Proxy '[End]) => EndF

Instances

Functor (EndF i)

Methods

fmap :: (a -> b) -> EndF i a -> EndF i b

(<$) :: a -> EndF i b -> EndF i a

Functor1 [Type] EndF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (EndF i a)

Methods

showsPrec :: Int -> EndF i a -> ShowS

show :: EndF i a -> String

showList :: [EndF i a] -> ShowS

ToXML (EndF i a)

Methods

toXML :: EndF i a -> [Element]

Enqueue

data Enqueue

data EnqueueF i a

Constructors

(Proxy i ~ Proxy '[Enqueue]) => EnqueueF String EnqueueAttributes a

Instances

Functor (EnqueueF i)

Methods

fmap :: (a -> b) -> EnqueueF i a -> EnqueueF i b

(<$) :: a -> EnqueueF i b -> EnqueueF i a

Functor1 [Type] EnqueueF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (EnqueueF i a)

Methods

showsPrec :: Int -> EnqueueF i a -> ShowS

show :: EnqueueF i a -> String

showList :: [EnqueueF i a] -> ShowS

ToXML a => ToXML (EnqueueF i a)

Methods

toXML :: EnqueueF i a -> [Element]

data EnqueueAttributes

Constructors

EnqueueAttributes

Fields

• _enqueueAction :: !(Maybe URL)
• _enqueueMethod :: !(Maybe Method)
• _enqueueWaitURL :: !(Maybe URL)
• _enqueueWaitMethod :: !(Maybe Method)

Instances

Eq EnqueueAttributes

Methods

(==) :: EnqueueAttributes -> EnqueueAttributes -> Bool

(/=) :: EnqueueAttributes -> EnqueueAttributes -> Bool

Data EnqueueAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnqueueAttributes -> c EnqueueAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnqueueAttributes

toConstr :: EnqueueAttributes -> Constr

dataTypeOf :: EnqueueAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnqueueAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnqueueAttributes)

gmapT :: (forall b. Data b => b -> b) -> EnqueueAttributes -> EnqueueAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnqueueAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnqueueAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> EnqueueAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnqueueAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnqueueAttributes -> m EnqueueAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnqueueAttributes -> m EnqueueAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnqueueAttributes -> m EnqueueAttributes

Ord EnqueueAttributes

Methods

compare :: EnqueueAttributes -> EnqueueAttributes -> Ordering

(<) :: EnqueueAttributes -> EnqueueAttributes -> Bool

(<=) :: EnqueueAttributes -> EnqueueAttributes -> Bool

(>) :: EnqueueAttributes -> EnqueueAttributes -> Bool

(>=) :: EnqueueAttributes -> EnqueueAttributes -> Bool

max :: EnqueueAttributes -> EnqueueAttributes -> EnqueueAttributes

min :: EnqueueAttributes -> EnqueueAttributes -> EnqueueAttributes

Read EnqueueAttributes

Methods

readsPrec :: Int -> ReadS EnqueueAttributes

readList :: ReadS [EnqueueAttributes]

readPrec :: ReadPrec EnqueueAttributes

readListPrec :: ReadPrec [EnqueueAttributes]

Show EnqueueAttributes

Methods

showsPrec :: Int -> EnqueueAttributes -> ShowS

show :: EnqueueAttributes -> String

showList :: [EnqueueAttributes] -> ShowS

Generic EnqueueAttributes

Associated Types

type Rep EnqueueAttributes :: * -> *

Methods

from :: EnqueueAttributes -> Rep EnqueueAttributes x

to :: Rep EnqueueAttributes x -> EnqueueAttributes

Default EnqueueAttributes

Methods

def :: EnqueueAttributes

NFData EnqueueAttributes

Methods

rnf :: EnqueueAttributes -> ()

ToAttrs EnqueueAttributes

Methods

toAttrs :: EnqueueAttributes -> [Attr]

HasMethod EnqueueAttributes (Maybe Method)

Methods

method :: Lens' EnqueueAttributes (Maybe Method)

HasAction EnqueueAttributes (Maybe URL)

Methods

action :: Lens' EnqueueAttributes (Maybe URL)

HasWaitURL EnqueueAttributes (Maybe URL)

Methods

waitURL :: Lens' EnqueueAttributes (Maybe URL)

HasWaitMethod EnqueueAttributes (Maybe Method)

Methods

waitMethod :: Lens' EnqueueAttributes (Maybe Method)

type Rep EnqueueAttributes

type Rep EnqueueAttributes = D1 (MetaData "EnqueueAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "EnqueueAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_enqueueAction") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_enqueueMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method)))) ((:*:) (S1 (MetaSel (Just Symbol "_enqueueWaitURL") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_enqueueWaitMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))))))

Hangup

data Gather

data GatherF i a where

Constructors

GatherF :: Nest i In Gather => GatherAttributes -> IxFree VoiceVerbsF i Void -> a -> GatherF '[Gather] a

Instances

Functor (GatherF i)

Methods

fmap :: (a -> b) -> GatherF i a -> GatherF i b

(<$) :: a -> GatherF i b -> GatherF i a

Functor1 [Type] GatherF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (GatherF i a)

Methods

showsPrec :: Int -> GatherF i a -> ShowS

show :: GatherF i a -> String

showList :: [GatherF i a] -> ShowS

ToXML a => ToXML (GatherF i a)

Methods

toXML :: GatherF i a -> [Element]

data GatherAttributes

See https://www.twilio.com/docs/api/twiml/gather#attributes.

Constructors

GatherAttributes

Fields

• _gatherAction :: Maybe URL
• _gatherMethod :: Maybe Method
• _gatherTimeout :: Maybe Natural
• _gatherFinishOnKey :: Maybe Key
• _gatherNumDigits :: Maybe Natural

Instances

Eq GatherAttributes

Methods

(==) :: GatherAttributes -> GatherAttributes -> Bool

(/=) :: GatherAttributes -> GatherAttributes -> Bool

Data GatherAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GatherAttributes -> c GatherAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GatherAttributes

toConstr :: GatherAttributes -> Constr

dataTypeOf :: GatherAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c GatherAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GatherAttributes)

gmapT :: (forall b. Data b => b -> b) -> GatherAttributes -> GatherAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GatherAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GatherAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> GatherAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GatherAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GatherAttributes -> m GatherAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GatherAttributes -> m GatherAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GatherAttributes -> m GatherAttributes

Ord GatherAttributes

Methods

compare :: GatherAttributes -> GatherAttributes -> Ordering

(<) :: GatherAttributes -> GatherAttributes -> Bool

(<=) :: GatherAttributes -> GatherAttributes -> Bool

(>) :: GatherAttributes -> GatherAttributes -> Bool

(>=) :: GatherAttributes -> GatherAttributes -> Bool

max :: GatherAttributes -> GatherAttributes -> GatherAttributes

min :: GatherAttributes -> GatherAttributes -> GatherAttributes

Read GatherAttributes

Methods

readsPrec :: Int -> ReadS GatherAttributes

readList :: ReadS [GatherAttributes]

readPrec :: ReadPrec GatherAttributes

readListPrec :: ReadPrec [GatherAttributes]

Show GatherAttributes

Methods

showsPrec :: Int -> GatherAttributes -> ShowS

show :: GatherAttributes -> String

showList :: [GatherAttributes] -> ShowS

Generic GatherAttributes

Associated Types

type Rep GatherAttributes :: * -> *

Methods

from :: GatherAttributes -> Rep GatherAttributes x

to :: Rep GatherAttributes x -> GatherAttributes

Default GatherAttributes

Methods

def :: GatherAttributes

NFData GatherAttributes

Methods

rnf :: GatherAttributes -> ()

ToAttrs GatherAttributes

Methods

toAttrs :: GatherAttributes -> [Attr]

HasTimeout GatherAttributes (Maybe Natural)

Methods

timeout :: Lens' GatherAttributes (Maybe Natural)

HasNumDigits GatherAttributes (Maybe Natural)

Methods

numDigits :: Lens' GatherAttributes (Maybe Natural)

HasMethod GatherAttributes (Maybe Method)

Methods

method :: Lens' GatherAttributes (Maybe Method)

HasFinishOnKey GatherAttributes (Maybe Key)

Methods

finishOnKey :: Lens' GatherAttributes (Maybe Key)

HasAction GatherAttributes (Maybe URL)

Methods

action :: Lens' GatherAttributes (Maybe URL)

type Rep GatherAttributes

type Rep GatherAttributes = D1 (MetaData "GatherAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "GatherAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_gatherAction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_gatherMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Method)))) ((:*:) (S1 (MetaSel (Just Symbol "_gatherTimeout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Natural))) ((:*:) (S1 (MetaSel (Just Symbol "_gatherFinishOnKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Key))) (S1 (MetaSel (Just Symbol "_gatherNumDigits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Natural)))))))

type family Nest a i b where ...

Equations

Nest i In Gather = (Record ∉ i, Gather ∉ i, Sms ∉ i, Dial ∉ i, Enqueue ∉ i, Leave ∉ i, Hangup ∉ i, Redirect ∉ i, Reject ∉ i)

data In

Hangup

data Hangup

data HangupF i a

Constructors

(Proxy i ~ Proxy '[Hangup]) => HangupF

Instances

Functor (HangupF i)

Methods

fmap :: (a -> b) -> HangupF i a -> HangupF i b

(<$) :: a -> HangupF i b -> HangupF i a

Functor1 [Type] HangupF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (HangupF i a)

Methods

showsPrec :: Int -> HangupF i a -> ShowS

show :: HangupF i a -> String

showList :: [HangupF i a] -> ShowS

ToXML (HangupF i a)

Methods

toXML :: HangupF i a -> [Element]

Leave

data Leave

data LeaveF i a

Constructors

(Proxy i ~ Proxy '[Leave]) => LeaveF

Instances

Functor (LeaveF i)

Methods

fmap :: (a -> b) -> LeaveF i a -> LeaveF i b

(<$) :: a -> LeaveF i b -> LeaveF i a

Functor1 [Type] LeaveF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (LeaveF i a)

Methods

showsPrec :: Int -> LeaveF i a -> ShowS

show :: LeaveF i a -> String

showList :: [LeaveF i a] -> ShowS

ToXML (LeaveF i a)

Methods

toXML :: LeaveF i a -> [Element]

Message

data Message

data MessageF i a

Constructors

(Proxy i ~ Proxy '[Message]) => MessageF String MessageAttributes a

Instances

Functor (MessageF i)

Methods

fmap :: (a -> b) -> MessageF i a -> MessageF i b

(<$) :: a -> MessageF i b -> MessageF i a

Functor1 [Type] MessageF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (MessageF i a)

Methods

showsPrec :: Int -> MessageF i a -> ShowS

show :: MessageF i a -> String

showList :: [MessageF i a] -> ShowS

ToXML a => ToXML (MessageF i a)

Methods

toXML :: MessageF i a -> [Element]

data MessageAttributes

Constructors

MessageAttributes

Fields

• _messageTo :: !(Maybe String)
• _messageFrom :: !(Maybe String)
• _messageAction :: !(Maybe URL)
• _messageMethod :: !(Maybe Method)
• _messageStatusCallback :: !(Maybe URL)

Instances

Eq MessageAttributes

Methods

(==) :: MessageAttributes -> MessageAttributes -> Bool

(/=) :: MessageAttributes -> MessageAttributes -> Bool

Data MessageAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MessageAttributes -> c MessageAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MessageAttributes

toConstr :: MessageAttributes -> Constr

dataTypeOf :: MessageAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MessageAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MessageAttributes)

gmapT :: (forall b. Data b => b -> b) -> MessageAttributes -> MessageAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MessageAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MessageAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> MessageAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MessageAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MessageAttributes -> m MessageAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MessageAttributes -> m MessageAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MessageAttributes -> m MessageAttributes

Ord MessageAttributes

Methods

compare :: MessageAttributes -> MessageAttributes -> Ordering

(<) :: MessageAttributes -> MessageAttributes -> Bool

(<=) :: MessageAttributes -> MessageAttributes -> Bool

(>) :: MessageAttributes -> MessageAttributes -> Bool

(>=) :: MessageAttributes -> MessageAttributes -> Bool

max :: MessageAttributes -> MessageAttributes -> MessageAttributes

min :: MessageAttributes -> MessageAttributes -> MessageAttributes

Read MessageAttributes

Methods

readsPrec :: Int -> ReadS MessageAttributes

readList :: ReadS [MessageAttributes]

readPrec :: ReadPrec MessageAttributes

readListPrec :: ReadPrec [MessageAttributes]

Show MessageAttributes

Methods

showsPrec :: Int -> MessageAttributes -> ShowS

show :: MessageAttributes -> String

showList :: [MessageAttributes] -> ShowS

Generic MessageAttributes

Associated Types

type Rep MessageAttributes :: * -> *

Methods

from :: MessageAttributes -> Rep MessageAttributes x

to :: Rep MessageAttributes x -> MessageAttributes

Default MessageAttributes

Methods

def :: MessageAttributes

NFData MessageAttributes

Methods

rnf :: MessageAttributes -> ()

ToAttrs MessageAttributes

Methods

toAttrs :: MessageAttributes -> [Attr]

HasMethod MessageAttributes (Maybe Method)

Methods

method :: Lens' MessageAttributes (Maybe Method)

HasAction MessageAttributes (Maybe URL)

Methods

action :: Lens' MessageAttributes (Maybe URL)

HasTo MessageAttributes (Maybe String)

Methods

to :: Lens' MessageAttributes (Maybe String)

HasStatusCallback MessageAttributes (Maybe URL)

Methods

statusCallback :: Lens' MessageAttributes (Maybe URL)

HasFrom MessageAttributes (Maybe String)

Methods

from :: Lens' MessageAttributes (Maybe String)

type Rep MessageAttributes

type Rep MessageAttributes = D1 (MetaData "MessageAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "MessageAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_messageTo") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "_messageFrom") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "_messageAction") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) ((:*:) (S1 (MetaSel (Just Symbol "_messageMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))) (S1 (MetaSel (Just Symbol "_messageStatusCallback") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL)))))))

Pause

data Pause

data PauseF i a

Constructors

(Proxy i ~ Proxy '[Pause]) => PauseF PauseAttributes a

Instances

Functor (PauseF i)

Methods

fmap :: (a -> b) -> PauseF i a -> PauseF i b

(<$) :: a -> PauseF i b -> PauseF i a

Functor1 [Type] PauseF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (PauseF i a)

Methods

showsPrec :: Int -> PauseF i a -> ShowS

show :: PauseF i a -> String

showList :: [PauseF i a] -> ShowS

ToXML a => ToXML (PauseF i a)

Methods

toXML :: PauseF i a -> [Element]

data PauseAttributes

Constructors

PauseAttributes

Fields

• _pauseDuration :: !(Maybe Natural)

Instances

Eq PauseAttributes

Methods

(==) :: PauseAttributes -> PauseAttributes -> Bool

(/=) :: PauseAttributes -> PauseAttributes -> Bool

Data PauseAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PauseAttributes -> c PauseAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PauseAttributes

toConstr :: PauseAttributes -> Constr

dataTypeOf :: PauseAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PauseAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PauseAttributes)

gmapT :: (forall b. Data b => b -> b) -> PauseAttributes -> PauseAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PauseAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PauseAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> PauseAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PauseAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PauseAttributes -> m PauseAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PauseAttributes -> m PauseAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PauseAttributes -> m PauseAttributes

Ord PauseAttributes

Methods

compare :: PauseAttributes -> PauseAttributes -> Ordering

(<) :: PauseAttributes -> PauseAttributes -> Bool

(<=) :: PauseAttributes -> PauseAttributes -> Bool

(>) :: PauseAttributes -> PauseAttributes -> Bool

(>=) :: PauseAttributes -> PauseAttributes -> Bool

max :: PauseAttributes -> PauseAttributes -> PauseAttributes

min :: PauseAttributes -> PauseAttributes -> PauseAttributes

Read PauseAttributes

Methods

readsPrec :: Int -> ReadS PauseAttributes

readList :: ReadS [PauseAttributes]

readPrec :: ReadPrec PauseAttributes

readListPrec :: ReadPrec [PauseAttributes]

Show PauseAttributes

Methods

showsPrec :: Int -> PauseAttributes -> ShowS

show :: PauseAttributes -> String

showList :: [PauseAttributes] -> ShowS

Generic PauseAttributes

Associated Types

type Rep PauseAttributes :: * -> *

Methods

from :: PauseAttributes -> Rep PauseAttributes x

to :: Rep PauseAttributes x -> PauseAttributes

Default PauseAttributes

Methods

def :: PauseAttributes

NFData PauseAttributes

Methods

rnf :: PauseAttributes -> ()

ToAttrs PauseAttributes

Methods

toAttrs :: PauseAttributes -> [Attr]

HasDuration PauseAttributes (Maybe Natural)

Methods

duration :: Lens' PauseAttributes (Maybe Natural)

type Rep PauseAttributes

type Rep PauseAttributes = D1 (MetaData "PauseAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "PauseAttributes" PrefixI True) (S1 (MetaSel (Just Symbol "_pauseDuration") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural))))

Play

data Play

data PlayF i a

Constructors

(Proxy i ~ Proxy '[Play]) => PlayF MaybeURL PlayAttributes a

Instances

Functor (PlayF i)

Methods

fmap :: (a -> b) -> PlayF i a -> PlayF i b

(<$) :: a -> PlayF i b -> PlayF i a

Functor1 [Type] PlayF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (PlayF i a)

Methods

showsPrec :: Int -> PlayF i a -> ShowS

show :: PlayF i a -> String

showList :: [PlayF i a] -> ShowS

ToXML a => ToXML (PlayF i a)

Methods

toXML :: PlayF i a -> [Element]

data PlayAttributes

Constructors

PlayAttributes

Fields

• _playLoop :: !(Maybe Natural)
• _playDigits :: !(Maybe Digits)

Instances

Eq PlayAttributes

Methods

(==) :: PlayAttributes -> PlayAttributes -> Bool

(/=) :: PlayAttributes -> PlayAttributes -> Bool

Data PlayAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PlayAttributes -> c PlayAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PlayAttributes

toConstr :: PlayAttributes -> Constr

dataTypeOf :: PlayAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PlayAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PlayAttributes)

gmapT :: (forall b. Data b => b -> b) -> PlayAttributes -> PlayAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PlayAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PlayAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> PlayAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PlayAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PlayAttributes -> m PlayAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PlayAttributes -> m PlayAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PlayAttributes -> m PlayAttributes

Ord PlayAttributes

Methods

compare :: PlayAttributes -> PlayAttributes -> Ordering

(<) :: PlayAttributes -> PlayAttributes -> Bool

(<=) :: PlayAttributes -> PlayAttributes -> Bool

(>) :: PlayAttributes -> PlayAttributes -> Bool

(>=) :: PlayAttributes -> PlayAttributes -> Bool

max :: PlayAttributes -> PlayAttributes -> PlayAttributes

min :: PlayAttributes -> PlayAttributes -> PlayAttributes

Read PlayAttributes

Methods

readsPrec :: Int -> ReadS PlayAttributes

readList :: ReadS [PlayAttributes]

readPrec :: ReadPrec PlayAttributes

readListPrec :: ReadPrec [PlayAttributes]

Show PlayAttributes

Methods

showsPrec :: Int -> PlayAttributes -> ShowS

show :: PlayAttributes -> String

showList :: [PlayAttributes] -> ShowS

Generic PlayAttributes

Associated Types

type Rep PlayAttributes :: * -> *

Methods

from :: PlayAttributes -> Rep PlayAttributes x

to :: Rep PlayAttributes x -> PlayAttributes

Default PlayAttributes

Methods

def :: PlayAttributes

NFData PlayAttributes

Methods

rnf :: PlayAttributes -> ()

ToAttrs PlayAttributes

Methods

toAttrs :: PlayAttributes -> [Attr]

HasLoop PlayAttributes (Maybe Natural)

Methods

loop :: Lens' PlayAttributes (Maybe Natural)

type Rep PlayAttributes

type Rep PlayAttributes

Record

data Record

data RecordF i a

Constructors

(Proxy i ~ Proxy '[Record]) => RecordF RecordAttributes a

Instances

Functor (RecordF i)

Methods

fmap :: (a -> b) -> RecordF i a -> RecordF i b

(<$) :: a -> RecordF i b -> RecordF i a

Functor1 [Type] RecordF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (RecordF i a)

Methods

showsPrec :: Int -> RecordF i a -> ShowS

show :: RecordF i a -> String

showList :: [RecordF i a] -> ShowS

ToXML a => ToXML (RecordF i a)

Methods

toXML :: RecordF i a -> [Element]

data RecordAttributes

Constructors

RecordAttributes

Fields

• _recordAction :: !(Maybe URL)
• _recordMethod :: !(Maybe Method)
• _recordTimeout :: !(Maybe Natural)
• _recordFinishOnKey :: !(Maybe Key)
• _recordMaxLength :: !(Maybe Natural)
• _recordTranscribe :: !(Maybe Bool)
• _recordTranscribeCallback :: !(Maybe URL)
• _recordPlayBeep :: !(Maybe Bool)

Instances

Eq RecordAttributes

Methods

(==) :: RecordAttributes -> RecordAttributes -> Bool

(/=) :: RecordAttributes -> RecordAttributes -> Bool

Data RecordAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecordAttributes -> c RecordAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecordAttributes

toConstr :: RecordAttributes -> Constr

dataTypeOf :: RecordAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RecordAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecordAttributes)

gmapT :: (forall b. Data b => b -> b) -> RecordAttributes -> RecordAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecordAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecordAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> RecordAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RecordAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecordAttributes -> m RecordAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecordAttributes -> m RecordAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecordAttributes -> m RecordAttributes

Ord RecordAttributes

Methods

compare :: RecordAttributes -> RecordAttributes -> Ordering

(<) :: RecordAttributes -> RecordAttributes -> Bool

(<=) :: RecordAttributes -> RecordAttributes -> Bool

(>) :: RecordAttributes -> RecordAttributes -> Bool

(>=) :: RecordAttributes -> RecordAttributes -> Bool

max :: RecordAttributes -> RecordAttributes -> RecordAttributes

min :: RecordAttributes -> RecordAttributes -> RecordAttributes

Read RecordAttributes

Methods

readsPrec :: Int -> ReadS RecordAttributes

readList :: ReadS [RecordAttributes]

readPrec :: ReadPrec RecordAttributes

readListPrec :: ReadPrec [RecordAttributes]

Show RecordAttributes

Methods

showsPrec :: Int -> RecordAttributes -> ShowS

show :: RecordAttributes -> String

showList :: [RecordAttributes] -> ShowS

Generic RecordAttributes

Associated Types

type Rep RecordAttributes :: * -> *

Methods

from :: RecordAttributes -> Rep RecordAttributes x

to :: Rep RecordAttributes x -> RecordAttributes

Default RecordAttributes

Methods

def :: RecordAttributes

NFData RecordAttributes

Methods

rnf :: RecordAttributes -> ()

ToAttrs RecordAttributes

Methods

toAttrs :: RecordAttributes -> [Attr]

HasTimeout RecordAttributes (Maybe Natural)

Methods

timeout :: Lens' RecordAttributes (Maybe Natural)

HasMethod RecordAttributes (Maybe Method)

Methods

method :: Lens' RecordAttributes (Maybe Method)

HasFinishOnKey RecordAttributes (Maybe Key)

Methods

finishOnKey :: Lens' RecordAttributes (Maybe Key)

HasAction RecordAttributes (Maybe URL)

Methods

action :: Lens' RecordAttributes (Maybe URL)

HasTranscribeCallback RecordAttributes (Maybe URL)

Methods

transcribeCallback :: Lens' RecordAttributes (Maybe URL)

HasTranscribe RecordAttributes (Maybe Bool)

Methods

transcribe :: Lens' RecordAttributes (Maybe Bool)

HasPlayBeep RecordAttributes (Maybe Bool)

Methods

playBeep :: Lens' RecordAttributes (Maybe Bool)

HasMaxLength RecordAttributes (Maybe Natural)

Methods

maxLength :: Lens' RecordAttributes (Maybe Natural)

type Rep RecordAttributes

type Rep RecordAttributes = D1 (MetaData "RecordAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "RecordAttributes" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_recordAction") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_recordMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method)))) ((:*:) (S1 (MetaSel (Just Symbol "_recordTimeout") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural))) (S1 (MetaSel (Just Symbol "_recordFinishOnKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Key))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_recordMaxLength") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural))) (S1 (MetaSel (Just Symbol "_recordTranscribe") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool)))) ((:*:) (S1 (MetaSel (Just Symbol "_recordTranscribeCallback") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) (S1 (MetaSel (Just Symbol "_recordPlayBeep") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Bool)))))))

Redirect

data Redirect

data RedirectF i a

Constructors

(Proxy i ~ Proxy '[Redirect]) => RedirectF URL RedirectAttributes

Instances

Functor (RedirectF i)

Methods

fmap :: (a -> b) -> RedirectF i a -> RedirectF i b

(<$) :: a -> RedirectF i b -> RedirectF i a

Functor1 [Type] RedirectF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (RedirectF i a)

Methods

showsPrec :: Int -> RedirectF i a -> ShowS

show :: RedirectF i a -> String

showList :: [RedirectF i a] -> ShowS

ToXML (RedirectF i a)

Methods

toXML :: RedirectF i a -> [Element]

data RedirectAttributes

Constructors

RedirectAttributes

Fields

• _redirectMethod :: !(Maybe Method)

Instances

Eq RedirectAttributes

Methods

(==) :: RedirectAttributes -> RedirectAttributes -> Bool

(/=) :: RedirectAttributes -> RedirectAttributes -> Bool

Data RedirectAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RedirectAttributes -> c RedirectAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RedirectAttributes

toConstr :: RedirectAttributes -> Constr

dataTypeOf :: RedirectAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RedirectAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RedirectAttributes)

gmapT :: (forall b. Data b => b -> b) -> RedirectAttributes -> RedirectAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RedirectAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RedirectAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> RedirectAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RedirectAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RedirectAttributes -> m RedirectAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirectAttributes -> m RedirectAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirectAttributes -> m RedirectAttributes

Ord RedirectAttributes

Methods

compare :: RedirectAttributes -> RedirectAttributes -> Ordering

(<) :: RedirectAttributes -> RedirectAttributes -> Bool

(<=) :: RedirectAttributes -> RedirectAttributes -> Bool

(>) :: RedirectAttributes -> RedirectAttributes -> Bool

(>=) :: RedirectAttributes -> RedirectAttributes -> Bool

max :: RedirectAttributes -> RedirectAttributes -> RedirectAttributes

min :: RedirectAttributes -> RedirectAttributes -> RedirectAttributes

Read RedirectAttributes

Methods

readsPrec :: Int -> ReadS RedirectAttributes

readList :: ReadS [RedirectAttributes]

readPrec :: ReadPrec RedirectAttributes

readListPrec :: ReadPrec [RedirectAttributes]

Show RedirectAttributes

Methods

showsPrec :: Int -> RedirectAttributes -> ShowS

show :: RedirectAttributes -> String

showList :: [RedirectAttributes] -> ShowS

Generic RedirectAttributes

Associated Types

type Rep RedirectAttributes :: * -> *

Methods

from :: RedirectAttributes -> Rep RedirectAttributes x

to :: Rep RedirectAttributes x -> RedirectAttributes

Default RedirectAttributes

Methods

def :: RedirectAttributes

NFData RedirectAttributes

Methods

rnf :: RedirectAttributes -> ()

ToAttrs RedirectAttributes

Methods

toAttrs :: RedirectAttributes -> [Attr]

HasMethod RedirectAttributes (Maybe Method)

Methods

method :: Lens' RedirectAttributes (Maybe Method)

type Rep RedirectAttributes

type Rep RedirectAttributes = D1 (MetaData "RedirectAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "RedirectAttributes" PrefixI True) (S1 (MetaSel (Just Symbol "_redirectMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))))

Reject

data Reject

data RejectF i a

Constructors

(Proxy i ~ Proxy '[Reject]) => RejectF RejectAttributes

Instances

Functor (RejectF i)

Methods

fmap :: (a -> b) -> RejectF i a -> RejectF i b

(<$) :: a -> RejectF i b -> RejectF i a

Functor1 [Type] RejectF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (RejectF i a)

Methods

showsPrec :: Int -> RejectF i a -> ShowS

show :: RejectF i a -> String

showList :: [RejectF i a] -> ShowS

ToXML (RejectF i a)

Methods

toXML :: RejectF i a -> [Element]

data RejectAttributes

Constructors

RejectAttributes

Fields

• _rejectReason :: !(Maybe Reason)

Instances

Eq RejectAttributes

Methods

(==) :: RejectAttributes -> RejectAttributes -> Bool

(/=) :: RejectAttributes -> RejectAttributes -> Bool

Data RejectAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RejectAttributes -> c RejectAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RejectAttributes

toConstr :: RejectAttributes -> Constr

dataTypeOf :: RejectAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RejectAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RejectAttributes)

gmapT :: (forall b. Data b => b -> b) -> RejectAttributes -> RejectAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RejectAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RejectAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> RejectAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RejectAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RejectAttributes -> m RejectAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RejectAttributes -> m RejectAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RejectAttributes -> m RejectAttributes

Ord RejectAttributes

Methods

compare :: RejectAttributes -> RejectAttributes -> Ordering

(<) :: RejectAttributes -> RejectAttributes -> Bool

(<=) :: RejectAttributes -> RejectAttributes -> Bool

(>) :: RejectAttributes -> RejectAttributes -> Bool

(>=) :: RejectAttributes -> RejectAttributes -> Bool

max :: RejectAttributes -> RejectAttributes -> RejectAttributes

min :: RejectAttributes -> RejectAttributes -> RejectAttributes

Read RejectAttributes

Methods

readsPrec :: Int -> ReadS RejectAttributes

readList :: ReadS [RejectAttributes]

readPrec :: ReadPrec RejectAttributes

readListPrec :: ReadPrec [RejectAttributes]

Show RejectAttributes

Methods

showsPrec :: Int -> RejectAttributes -> ShowS

show :: RejectAttributes -> String

showList :: [RejectAttributes] -> ShowS

Generic RejectAttributes

Associated Types

type Rep RejectAttributes :: * -> *

Methods

from :: RejectAttributes -> Rep RejectAttributes x

to :: Rep RejectAttributes x -> RejectAttributes

Default RejectAttributes

Methods

def :: RejectAttributes

NFData RejectAttributes

Methods

rnf :: RejectAttributes -> ()

ToAttrs RejectAttributes

Methods

toAttrs :: RejectAttributes -> [Attr]

HasReason RejectAttributes (Maybe Reason)

Methods

reason :: Lens' RejectAttributes (Maybe Reason)

type Rep RejectAttributes

type Rep RejectAttributes = D1 (MetaData "RejectAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "RejectAttributes" PrefixI True) (S1 (MetaSel (Just Symbol "_rejectReason") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Reason))))

Say

data Say

data SayF i a

Constructors

(Proxy i ~ Proxy '[Say]) => SayF String SayAttributes a

Instances

Functor (SayF i)

Methods

fmap :: (a -> b) -> SayF i a -> SayF i b

(<$) :: a -> SayF i b -> SayF i a

Functor1 [Type] SayF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (SayF i a)

Methods

showsPrec :: Int -> SayF i a -> ShowS

show :: SayF i a -> String

showList :: [SayF i a] -> ShowS

ToXML a => ToXML (SayF i a)

Methods

toXML :: SayF i a -> [Element]

data SayAttributes

Constructors

SayAttributes

Fields

• _sayVoice :: !(Maybe Voice)
• _sayLoop :: !(Maybe Natural)

Instances

Eq SayAttributes

Methods

(==) :: SayAttributes -> SayAttributes -> Bool

(/=) :: SayAttributes -> SayAttributes -> Bool

Data SayAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SayAttributes -> c SayAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SayAttributes

toConstr :: SayAttributes -> Constr

dataTypeOf :: SayAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SayAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SayAttributes)

gmapT :: (forall b. Data b => b -> b) -> SayAttributes -> SayAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SayAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SayAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> SayAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SayAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SayAttributes -> m SayAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SayAttributes -> m SayAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SayAttributes -> m SayAttributes

Ord SayAttributes

Methods

compare :: SayAttributes -> SayAttributes -> Ordering

(<) :: SayAttributes -> SayAttributes -> Bool

(<=) :: SayAttributes -> SayAttributes -> Bool

(>) :: SayAttributes -> SayAttributes -> Bool

(>=) :: SayAttributes -> SayAttributes -> Bool

max :: SayAttributes -> SayAttributes -> SayAttributes

min :: SayAttributes -> SayAttributes -> SayAttributes

Read SayAttributes

Methods

readsPrec :: Int -> ReadS SayAttributes

readList :: ReadS [SayAttributes]

readPrec :: ReadPrec SayAttributes

readListPrec :: ReadPrec [SayAttributes]

Show SayAttributes

Methods

showsPrec :: Int -> SayAttributes -> ShowS

show :: SayAttributes -> String

showList :: [SayAttributes] -> ShowS

Generic SayAttributes

Associated Types

type Rep SayAttributes :: * -> *

Methods

from :: SayAttributes -> Rep SayAttributes x

to :: Rep SayAttributes x -> SayAttributes

Default SayAttributes

Methods

def :: SayAttributes

NFData SayAttributes

Methods

rnf :: SayAttributes -> ()

ToAttrs SayAttributes

Methods

toAttrs :: SayAttributes -> [Attr]

HasVoice SayAttributes (Maybe Voice)

Methods

voice :: Lens' SayAttributes (Maybe Voice)

HasLoop SayAttributes (Maybe Natural)

Methods

loop :: Lens' SayAttributes (Maybe Natural)

type Rep SayAttributes

type Rep SayAttributes = D1 (MetaData "SayAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "SayAttributes" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_sayVoice") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Voice))) (S1 (MetaSel (Just Symbol "_sayLoop") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Natural)))))

Sms

data Sms

data SmsF i a

Constructors

(Proxy i ~ Proxy '[Sms]) => SmsF String SmsAttributes a

Instances

Functor (SmsF i)

Methods

fmap :: (a -> b) -> SmsF i a -> SmsF i b

(<$) :: a -> SmsF i b -> SmsF i a

Functor1 [Type] SmsF

Methods

fmap1 :: (a -> b) -> f i a -> f i b

Show a => Show (SmsF i a)

Methods

showsPrec :: Int -> SmsF i a -> ShowS

show :: SmsF i a -> String

showList :: [SmsF i a] -> ShowS

ToXML a => ToXML (SmsF i a)

Methods

toXML :: SmsF i a -> [Element]

data SmsAttributes

Constructors

SmsAttributes

Fields

• _smsTo :: !(Maybe String)
• _smsFrom :: !(Maybe String)
• _smsAction :: !(Maybe URL)
• _smsMethod :: !(Maybe Method)
• _smsStatusCallback :: !(Maybe URL)

Instances

Eq SmsAttributes

Methods

(==) :: SmsAttributes -> SmsAttributes -> Bool

(/=) :: SmsAttributes -> SmsAttributes -> Bool

Data SmsAttributes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SmsAttributes -> c SmsAttributes

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SmsAttributes

toConstr :: SmsAttributes -> Constr

dataTypeOf :: SmsAttributes -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SmsAttributes)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SmsAttributes)

gmapT :: (forall b. Data b => b -> b) -> SmsAttributes -> SmsAttributes

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SmsAttributes -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SmsAttributes -> r

gmapQ :: (forall d. Data d => d -> u) -> SmsAttributes -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SmsAttributes -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SmsAttributes -> m SmsAttributes

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SmsAttributes -> m SmsAttributes

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SmsAttributes -> m SmsAttributes

Ord SmsAttributes

Methods

compare :: SmsAttributes -> SmsAttributes -> Ordering

(<) :: SmsAttributes -> SmsAttributes -> Bool

(<=) :: SmsAttributes -> SmsAttributes -> Bool

(>) :: SmsAttributes -> SmsAttributes -> Bool

(>=) :: SmsAttributes -> SmsAttributes -> Bool

max :: SmsAttributes -> SmsAttributes -> SmsAttributes

min :: SmsAttributes -> SmsAttributes -> SmsAttributes

Read SmsAttributes

Methods

readsPrec :: Int -> ReadS SmsAttributes

readList :: ReadS [SmsAttributes]

readPrec :: ReadPrec SmsAttributes

readListPrec :: ReadPrec [SmsAttributes]

Show SmsAttributes

Methods

showsPrec :: Int -> SmsAttributes -> ShowS

show :: SmsAttributes -> String

showList :: [SmsAttributes] -> ShowS

Generic SmsAttributes

Associated Types

type Rep SmsAttributes :: * -> *

Methods

from :: SmsAttributes -> Rep SmsAttributes x

to :: Rep SmsAttributes x -> SmsAttributes

Default SmsAttributes

Methods

def :: SmsAttributes

NFData SmsAttributes

Methods

rnf :: SmsAttributes -> ()

ToAttrs SmsAttributes

Methods

toAttrs :: SmsAttributes -> [Attr]

HasMethod SmsAttributes (Maybe Method)

Methods

method :: Lens' SmsAttributes (Maybe Method)

HasAction SmsAttributes (Maybe URL)

Methods

action :: Lens' SmsAttributes (Maybe URL)

HasTo SmsAttributes (Maybe String)

Methods

to :: Lens' SmsAttributes (Maybe String)

HasStatusCallback SmsAttributes (Maybe URL)

Methods

statusCallback :: Lens' SmsAttributes (Maybe URL)

HasFrom SmsAttributes (Maybe String)

Methods

from :: Lens' SmsAttributes (Maybe String)

type Rep SmsAttributes

type Rep SmsAttributes = D1 (MetaData "SmsAttributes" "Text.XML.Twiml.Internal.Twiml" "twiml-0.2.0.1-LqGlAW9ysp41vRhevhGKAu" False) (C1 (MetaCons "SmsAttributes" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_smsTo") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String))) (S1 (MetaSel (Just Symbol "_smsFrom") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe String)))) ((:*:) (S1 (MetaSel (Just Symbol "_smsAction") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL))) ((:*:) (S1 (MetaSel (Just Symbol "_smsMethod") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe Method))) (S1 (MetaSel (Just Symbol "_smsStatusCallback") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe URL)))))))