Hastructure-0.50.0: Cashflow modeling library for structured finance
Safe HaskellNone
LanguageHaskell2010

Triggers

Documentation

data Trigger Source #

Constructors

Trigger 

Fields

Instances

Instances details
FromJSON Trigger Source # 
Instance details

Defined in Triggers

Methods

parseJSON :: Value -> Parser Trigger #

parseJSONList :: Value -> Parser [Trigger] #

omittedField :: Maybe Trigger #

ToJSON Trigger Source # 
Instance details

Defined in Triggers

Methods

toJSON :: Trigger -> Value #

toEncoding :: Trigger -> Encoding #

toJSONList :: [Trigger] -> Value #

toEncodingList :: [Trigger] -> Encoding #

omitField :: Trigger -> Bool #

Generic Trigger Source # 
Instance details

Defined in Triggers

Associated Types

type Rep Trigger 
Instance details

Defined in Triggers

type Rep Trigger = D1 ('MetaData "Trigger" "Triggers" "Hastructure-0.50.0-9tFAxbqhtE23KiGoJqUlJG" 'False) (C1 ('MetaCons "Trigger" 'PrefixI 'True) ((S1 ('MetaSel ('Just "trgCondition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pre) :*: S1 ('MetaSel ('Just "trgEffects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TriggerEffect)) :*: (S1 ('MetaSel ('Just "trgStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "trgCurable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "trgStmt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Statement))))))

Methods

from :: Trigger -> Rep Trigger x #

to :: Rep Trigger x -> Trigger #

Show Trigger Source # 
Instance details

Defined in Triggers

Methods

showsPrec :: Int -> Trigger -> ShowS #

show :: Trigger -> String #

showList :: [Trigger] -> ShowS #

Eq Trigger Source # 
Instance details

Defined in Triggers

Methods

(==) :: Trigger -> Trigger -> Bool #

(/=) :: Trigger -> Trigger -> Bool #

Ord Trigger Source # 
Instance details

Defined in Triggers

Methods

compare :: Trigger -> Trigger -> Ordering #

(<) :: Trigger -> Trigger -> Bool #

(<=) :: Trigger -> Trigger -> Bool #

(>) :: Trigger -> Trigger -> Bool #

(>=) :: Trigger -> Trigger -> Bool #

max :: Trigger -> Trigger -> Trigger #

min :: Trigger -> Trigger -> Trigger #

type Rep Trigger Source # 
Instance details

Defined in Triggers

type Rep Trigger = D1 ('MetaData "Trigger" "Triggers" "Hastructure-0.50.0-9tFAxbqhtE23KiGoJqUlJG" 'False) (C1 ('MetaCons "Trigger" 'PrefixI 'True) ((S1 ('MetaSel ('Just "trgCondition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pre) :*: S1 ('MetaSel ('Just "trgEffects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TriggerEffect)) :*: (S1 ('MetaSel ('Just "trgStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "trgCurable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "trgStmt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Statement))))))

data TriggerEffect Source #

Constructors

DealStatusTo DealStatus

change deal status

DoAccrueFee FeeNames

accure fee

AddTrigger Trigger

add a new trigger

ChangeReserveBalance String ReserveAmount

update reserve target balance

CloseDeal (Int, DatePattern) (Int, DatePattern) (PricingMethod, AccountName, Maybe DealStats) (Maybe [CollectionRule])

close the deal

BuyAsset AccountName PricingMethod

buy asset from the assumption using funds from account

ChangeBondRate BondName InterestInfo IRate

change bond rate

TriggerEffects [TriggerEffect]

a combination of effects above

RunActions [Action]

run a list of waterfall actions

DoNothing

do nothing

Instances

Instances details
FromJSON TriggerEffect Source # 
Instance details

Defined in Triggers

Methods

parseJSON :: Value -> Parser TriggerEffect #

parseJSONList :: Value -> Parser [TriggerEffect] #

omittedField :: Maybe TriggerEffect #

ToJSON TriggerEffect Source # 
Instance details

Defined in Triggers

Methods

toJSON :: TriggerEffect -> Value #

toEncoding :: TriggerEffect -> Encoding #

toJSONList :: [TriggerEffect] -> Value #

toEncodingList :: [TriggerEffect] -> Encoding #

omitField :: TriggerEffect -> Bool #

Generic TriggerEffect Source # 
Instance details

Defined in Triggers

Associated Types

type Rep TriggerEffect 
Instance details

Defined in Triggers

type Rep TriggerEffect = D1 ('MetaData "TriggerEffect" "Triggers" "Hastructure-0.50.0-9tFAxbqhtE23KiGoJqUlJG" 'False) (((C1 ('MetaCons "DealStatusTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DealStatus)) :+: C1 ('MetaCons "DoAccrueFee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FeeNames))) :+: (C1 ('MetaCons "AddTrigger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Trigger)) :+: (C1 ('MetaCons "ChangeReserveBalance" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReserveAmount)) :+: C1 ('MetaCons "CloseDeal" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, DatePattern)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, DatePattern))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PricingMethod, AccountName, Maybe DealStats)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [CollectionRule]))))))) :+: ((C1 ('MetaCons "BuyAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PricingMethod)) :+: C1 ('MetaCons "ChangeBondRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BondName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterestInfo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRate)))) :+: (C1 ('MetaCons "TriggerEffects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TriggerEffect])) :+: (C1 ('MetaCons "RunActions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Action])) :+: C1 ('MetaCons "DoNothing" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: TriggerEffect -> Rep TriggerEffect x #

to :: Rep TriggerEffect x -> TriggerEffect #

Show TriggerEffect Source # 
Instance details

Defined in Triggers

Methods

showsPrec :: Int -> TriggerEffect -> ShowS #

show :: TriggerEffect -> String #

showList :: [TriggerEffect] -> ShowS #

Eq TriggerEffect Source # 
Instance details

Defined in Triggers

Methods

(==) :: TriggerEffect -> TriggerEffect -> Bool #

(/=) :: TriggerEffect -> TriggerEffect -> Bool #

Ord TriggerEffect Source # 
Instance details

Defined in Triggers

Methods

compare :: TriggerEffect -> TriggerEffect -> Ordering #

(<) :: TriggerEffect -> TriggerEffect -> Bool #

(<=) :: TriggerEffect -> TriggerEffect -> Bool #

(>) :: TriggerEffect -> TriggerEffect -> Bool #

(>=) :: TriggerEffect -> TriggerEffect -> Bool #

max :: TriggerEffect -> TriggerEffect -> TriggerEffect #

min :: TriggerEffect -> TriggerEffect -> TriggerEffect #

type Rep TriggerEffect Source # 
Instance details

Defined in Triggers

type Rep TriggerEffect = D1 ('MetaData "TriggerEffect" "Triggers" "Hastructure-0.50.0-9tFAxbqhtE23KiGoJqUlJG" 'False) (((C1 ('MetaCons "DealStatusTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DealStatus)) :+: C1 ('MetaCons "DoAccrueFee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FeeNames))) :+: (C1 ('MetaCons "AddTrigger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Trigger)) :+: (C1 ('MetaCons "ChangeReserveBalance" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReserveAmount)) :+: C1 ('MetaCons "CloseDeal" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, DatePattern)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, DatePattern))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PricingMethod, AccountName, Maybe DealStats)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [CollectionRule]))))))) :+: ((C1 ('MetaCons "BuyAsset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AccountName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PricingMethod)) :+: C1 ('MetaCons "ChangeBondRate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BondName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterestInfo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRate)))) :+: (C1 ('MetaCons "TriggerEffects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TriggerEffect])) :+: (C1 ('MetaCons "RunActions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Action])) :+: C1 ('MetaCons "DoNothing" 'PrefixI 'False) (U1 :: Type -> Type)))))

type TriggerName = String Source #

trgStatusLens :: Lens' Trigger Bool Source #