Safe Haskell	None
Language	Haskell2010

Plutus.Contracts.Uniswap.Types

Synopsis

data U = U
data A = A
data B = B
data PoolState = PoolState
data Liquidity = Liquidity
newtype Coin a = Coin {
- unCoin :: AssetClass
}
newtype Amount a = Amount {
- unAmount :: Integer
}
valueOf :: Coin a -> Amount a -> Value
unitValue :: Coin a -> Value
isUnity :: Value -> Coin a -> Bool
amountOf :: Value -> Coin a -> Amount a
mkCoin :: CurrencySymbol -> TokenName -> Coin a
newtype Uniswap = Uniswap {
- usCoin :: Coin U
}
data LiquidityPool = LiquidityPool {
- lpCoinA :: Coin A
- lpCoinB :: Coin B
}
data UniswapAction
- = Create LiquidityPool
- | Close
- | Swap
- | Remove
- | Add
data UniswapDatum
- = Factory [LiquidityPool]
- | Pool LiquidityPool (Amount Liquidity)

Documentation

data U Source #

Uniswap coin token

Constructors

U

Instances

Instances details

Eq U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: U -> U -> Bool Source # (/=) :: U -> U -> Bool Source #
Data U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> U -> c U Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c U Source # toConstr :: U -> Constr Source # dataTypeOf :: U -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c U) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c U) Source # gmapT :: (forall b. Data b => b -> b) -> U -> U Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> U -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> U -> r Source # gmapQ :: (forall d. Data d => d -> u) -> U -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> U -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> U -> m U Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> U -> m U Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> U -> m U Source #
Show U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> U -> ShowS Source # show :: U -> String Source # showList :: [U] -> ShowS Source #
Generic U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Associated Types type Rep U :: Type -> Type Source # Methods from :: U -> Rep U x Source # to :: Rep U x -> U Source #
UnsafeFromData U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> U Source #
FromData U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe U Source #
ToData U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: U -> BuiltinData Source #
Lift DefaultUni U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: U -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy U -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep U Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types type Rep U = D1 ('MetaData "U" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "U" 'PrefixI 'False) (U1 :: Type -> Type))

data A Source #

A-side coin token

Constructors

A

Instances

Instances details

Data A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> A -> c A Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c A Source # toConstr :: A -> Constr Source # dataTypeOf :: A -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c A) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c A) Source # gmapT :: (forall b. Data b => b -> b) -> A -> A Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> A -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> A -> r Source # gmapQ :: (forall d. Data d => d -> u) -> A -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> A -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> A -> m A Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> A -> m A Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> A -> m A Source #
UnsafeFromData A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> A Source #
FromData A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe A Source #
ToData A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: A -> BuiltinData Source #
Lift DefaultUni A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: A -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni A Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy A -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

data B Source #

B-side coin token

Constructors

B

Instances

Instances details

Data B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> B -> c B Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c B Source # toConstr :: B -> Constr Source # dataTypeOf :: B -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c B) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c B) Source # gmapT :: (forall b. Data b => b -> b) -> B -> B Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> B -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> B -> r Source # gmapQ :: (forall d. Data d => d -> u) -> B -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> B -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> B -> m B Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> B -> m B Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> B -> m B Source #
UnsafeFromData B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> B Source #
FromData B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe B Source #
ToData B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: B -> BuiltinData Source #
Lift DefaultUni B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: B -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni B Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy B -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

data PoolState Source #

Pool-state coin token

Constructors

PoolState

Instances

Instances details

Data PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PoolState -> c PoolState Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PoolState Source # toConstr :: PoolState -> Constr Source # dataTypeOf :: PoolState -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PoolState) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PoolState) Source # gmapT :: (forall b. Data b => b -> b) -> PoolState -> PoolState Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PoolState -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PoolState -> r Source # gmapQ :: (forall d. Data d => d -> u) -> PoolState -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> PoolState -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PoolState -> m PoolState Source #
UnsafeFromData PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> PoolState Source #
FromData PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe PoolState Source #
ToData PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: PoolState -> BuiltinData Source #
Lift DefaultUni PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: PoolState -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni PoolState Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy PoolState -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

data Liquidity Source #

Liquidity-state coin token

Constructors

Liquidity

Instances

Instances details

Data Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Liquidity -> c Liquidity Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Liquidity Source # toConstr :: Liquidity -> Constr Source # dataTypeOf :: Liquidity -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Liquidity) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Liquidity) Source # gmapT :: (forall b. Data b => b -> b) -> Liquidity -> Liquidity Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Liquidity -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Liquidity -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Liquidity -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Liquidity -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Liquidity -> m Liquidity Source #
UnsafeFromData Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> Liquidity Source #
FromData Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe Liquidity Source #
ToData Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: Liquidity -> BuiltinData Source #
Lift DefaultUni Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: Liquidity -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Liquidity Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy Liquidity -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

newtype Coin a Source #

A single AssetClass. Because we use three coins, we use a phantom type to track which one is which.

Constructors

Coin
Fields unCoin :: AssetClass

Instances

Instances details

Lift DefaultUni (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: Coin a -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Eq (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: Coin a -> Coin a -> Bool Source # (/=) :: Coin a -> Coin a -> Bool Source #
Data a => Data (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Coin a -> c (Coin a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Coin a) Source # toConstr :: Coin a -> Constr Source # dataTypeOf :: Coin a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Coin a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Coin a)) Source # gmapT :: (forall b. Data b => b -> b) -> Coin a -> Coin a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coin a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coin a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Coin a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Coin a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Coin a -> m (Coin a) Source #
Ord (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods compare :: Coin a -> Coin a -> Ordering Source # (<) :: Coin a -> Coin a -> Bool Source # (<=) :: Coin a -> Coin a -> Bool Source # (>) :: Coin a -> Coin a -> Bool Source # (>=) :: Coin a -> Coin a -> Bool Source # max :: Coin a -> Coin a -> Coin a Source # min :: Coin a -> Coin a -> Coin a Source #
Show (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> Coin a -> ShowS Source # show :: Coin a -> String Source # showList :: [Coin a] -> ShowS Source #
Generic (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Associated Types type Rep (Coin a) :: Type -> Type Source # Methods from :: Coin a -> Rep (Coin a) x Source # to :: Rep (Coin a) x -> Coin a Source #
ToJSON (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toJSON :: Coin a -> Value Source # toEncoding :: Coin a -> Encoding Source # toJSONList :: [Coin a] -> Value Source # toEncodingList :: [Coin a] -> Encoding Source #
FromJSON (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods parseJSON :: Value -> Parser (Coin a) Source # parseJSONList :: Value -> Parser [Coin a] Source #
Typeable a => ToSchema (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods declareNamedSchema :: Proxy (Coin a) -> Declare (Definitions Schema) NamedSchema Source #
ToSchema (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toSchema :: FormSchema Source #
UnsafeFromData a => UnsafeFromData (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> Coin a Source #
FromData a => FromData (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe (Coin a) Source #
ToData a => ToData (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: Coin a -> BuiltinData Source #
Eq (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: Coin a -> Coin a -> Bool Source #
Typeable DefaultUni Coin Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy Coin -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (Coin a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types type Rep (Coin a) = D1 ('MetaData "Coin" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssetClass)))

newtype Amount a Source #

Likewise for Integer; the corresponding amount we have of the particular Coin.

Constructors

Amount
Fields unAmount :: Integer

Instances

Instances details

Lift DefaultUni (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: Amount a -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Eq (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: Amount a -> Amount a -> Bool Source # (/=) :: Amount a -> Amount a -> Bool Source #
Data a => Data (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Amount a -> c (Amount a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Amount a) Source # toConstr :: Amount a -> Constr Source # dataTypeOf :: Amount a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Amount a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Amount a)) Source # gmapT :: (forall b. Data b => b -> b) -> Amount a -> Amount a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Amount a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Amount a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Amount a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Amount a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Amount a -> m (Amount a) Source #
Num (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (+) :: Amount a -> Amount a -> Amount a Source # (-) :: Amount a -> Amount a -> Amount a Source # (*) :: Amount a -> Amount a -> Amount a Source # negate :: Amount a -> Amount a Source # abs :: Amount a -> Amount a Source # signum :: Amount a -> Amount a Source # fromInteger :: Integer -> Amount a Source #
Ord (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods compare :: Amount a -> Amount a -> Ordering Source # (<) :: Amount a -> Amount a -> Bool Source # (<=) :: Amount a -> Amount a -> Bool Source # (>) :: Amount a -> Amount a -> Bool Source # (>=) :: Amount a -> Amount a -> Bool Source # max :: Amount a -> Amount a -> Amount a Source # min :: Amount a -> Amount a -> Amount a Source #
Show (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> Amount a -> ShowS Source # show :: Amount a -> String Source # showList :: [Amount a] -> ShowS Source #
Generic (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Associated Types type Rep (Amount a) :: Type -> Type Source # Methods from :: Amount a -> Rep (Amount a) x Source # to :: Rep (Amount a) x -> Amount a Source #
ToJSON (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toJSON :: Amount a -> Value Source # toEncoding :: Amount a -> Encoding Source # toJSONList :: [Amount a] -> Value Source # toEncodingList :: [Amount a] -> Encoding Source #
FromJSON (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods parseJSON :: Value -> Parser (Amount a) Source # parseJSONList :: Value -> Parser [Amount a] Source #
PrintfArg (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods formatArg :: Amount a -> FieldFormatter Source # parseFormat :: Amount a -> ModifierParser Source #
ToSchema (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toSchema :: FormSchema Source #
UnsafeFromData a => UnsafeFromData (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> Amount a Source #
FromData a => FromData (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe (Amount a) Source #
ToData a => ToData (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: Amount a -> BuiltinData Source #
AdditiveSemigroup (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (+) :: Amount a -> Amount a -> Amount a Source #
AdditiveMonoid (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods zero :: Amount a Source #
AdditiveGroup (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (-) :: Amount a -> Amount a -> Amount a Source #
MultiplicativeSemigroup (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (*) :: Amount a -> Amount a -> Amount a Source #
Ord (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods compare :: Amount a -> Amount a -> Ordering Source # (<) :: Amount a -> Amount a -> Bool Source # (<=) :: Amount a -> Amount a -> Bool Source # (>) :: Amount a -> Amount a -> Bool Source # (>=) :: Amount a -> Amount a -> Bool Source # max :: Amount a -> Amount a -> Amount a Source # min :: Amount a -> Amount a -> Amount a Source #
Eq (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: Amount a -> Amount a -> Bool Source #
Typeable DefaultUni Amount Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy Amount -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (Amount a) Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types type Rep (Amount a) = D1 ('MetaData "Amount" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'True) (C1 ('MetaCons "Amount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

valueOf :: Coin a -> Amount a -> Value Source #

unitValue :: Coin a -> Value Source #

isUnity :: Value -> Coin a -> Bool Source #

amountOf :: Value -> Coin a -> Amount a Source #

mkCoin :: CurrencySymbol -> TokenName -> Coin a Source #

newtype Uniswap Source #

Constructors

Uniswap
Fields usCoin :: Coin U

Instances

Instances details

Eq Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: Uniswap -> Uniswap -> Bool Source # (/=) :: Uniswap -> Uniswap -> Bool Source #
Data Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Uniswap -> c Uniswap Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Uniswap Source # toConstr :: Uniswap -> Constr Source # dataTypeOf :: Uniswap -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Uniswap) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Uniswap) Source # gmapT :: (forall b. Data b => b -> b) -> Uniswap -> Uniswap Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Uniswap -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Uniswap -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Uniswap -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Uniswap -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Uniswap -> m Uniswap Source #
Ord Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods compare :: Uniswap -> Uniswap -> Ordering Source # (<) :: Uniswap -> Uniswap -> Bool Source # (<=) :: Uniswap -> Uniswap -> Bool Source # (>) :: Uniswap -> Uniswap -> Bool Source # (>=) :: Uniswap -> Uniswap -> Bool Source # max :: Uniswap -> Uniswap -> Uniswap Source # min :: Uniswap -> Uniswap -> Uniswap Source #
Show Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> Uniswap -> ShowS Source # show :: Uniswap -> String Source # showList :: [Uniswap] -> ShowS Source #
Generic Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Associated Types type Rep Uniswap :: Type -> Type Source # Methods from :: Uniswap -> Rep Uniswap x Source # to :: Rep Uniswap x -> Uniswap Source #
ToJSON Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toJSON :: Uniswap -> Value Source # toEncoding :: Uniswap -> Encoding Source # toJSONList :: [Uniswap] -> Value Source # toEncodingList :: [Uniswap] -> Encoding Source #
FromJSON Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods parseJSON :: Value -> Parser Uniswap Source # parseJSONList :: Value -> Parser [Uniswap] Source #
ToSchema Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods declareNamedSchema :: Proxy Uniswap -> Declare (Definitions Schema) NamedSchema Source #
ToSchema Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toSchema :: FormSchema Source #
UnsafeFromData Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> Uniswap Source #
FromData Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe Uniswap Source #
ToData Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: Uniswap -> BuiltinData Source #
Lift DefaultUni Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: Uniswap -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy Uniswap -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Uniswap Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types type Rep Uniswap = D1 ('MetaData "Uniswap" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'True) (C1 ('MetaCons "Uniswap" 'PrefixI 'True) (S1 ('MetaSel ('Just "usCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin U))))

data LiquidityPool Source #

Constructors

LiquidityPool
Fields lpCoinA :: Coin A lpCoinB :: Coin B

Instances

Instances details

Data LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LiquidityPool -> c LiquidityPool Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LiquidityPool Source # toConstr :: LiquidityPool -> Constr Source # dataTypeOf :: LiquidityPool -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LiquidityPool) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LiquidityPool) Source # gmapT :: (forall b. Data b => b -> b) -> LiquidityPool -> LiquidityPool Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LiquidityPool -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LiquidityPool -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LiquidityPool -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LiquidityPool -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LiquidityPool -> m LiquidityPool Source #
Show LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> LiquidityPool -> ShowS Source # show :: LiquidityPool -> String Source # showList :: [LiquidityPool] -> ShowS Source #
Generic LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Associated Types type Rep LiquidityPool :: Type -> Type Source # Methods from :: LiquidityPool -> Rep LiquidityPool x Source # to :: Rep LiquidityPool x -> LiquidityPool Source #
ToJSON LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toJSON :: LiquidityPool -> Value Source # toEncoding :: LiquidityPool -> Encoding Source # toJSONList :: [LiquidityPool] -> Value Source # toEncodingList :: [LiquidityPool] -> Encoding Source #
FromJSON LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods parseJSON :: Value -> Parser LiquidityPool Source # parseJSONList :: Value -> Parser [LiquidityPool] Source #
ToSchema LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toSchema :: FormSchema Source #
UnsafeFromData LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> LiquidityPool Source #
FromData LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe LiquidityPool Source #
ToData LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: LiquidityPool -> BuiltinData Source #
Eq LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods (==) :: LiquidityPool -> LiquidityPool -> Bool Source #
Lift DefaultUni LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: LiquidityPool -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy LiquidityPool -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep LiquidityPool Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types type Rep LiquidityPool = D1 ('MetaData "LiquidityPool" "Plutus.Contracts.Uniswap.Types" "plutus-use-cases-1.1.0.0-9kk4ZO09YVFKU77qwQaRsf" 'False) (C1 ('MetaCons "LiquidityPool" 'PrefixI 'True) (S1 ('MetaSel ('Just "lpCoinA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin A)) :*: S1 ('MetaSel ('Just "lpCoinB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Coin B))))

data UniswapAction Source #

Constructors

Create LiquidityPool
Close
Swap
Remove
Add

Instances

Instances details

Show UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> UniswapAction -> ShowS Source # show :: UniswapAction -> String Source # showList :: [UniswapAction] -> ShowS Source #
UnsafeFromData UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> UniswapAction Source #
FromData UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe UniswapAction Source #
ToData UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: UniswapAction -> BuiltinData Source #
Lift DefaultUni UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: UniswapAction -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni UniswapAction Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy UniswapAction -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

data UniswapDatum Source #

Constructors

Factory [LiquidityPool]
Pool LiquidityPool (Amount Liquidity)

Instances

Instances details

Show UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods showsPrec :: Int -> UniswapDatum -> ShowS Source # show :: UniswapDatum -> String Source # showList :: [UniswapDatum] -> ShowS Source #
UnsafeFromData UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods unsafeFromBuiltinData :: BuiltinData -> UniswapDatum Source #
FromData UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods fromBuiltinData :: BuiltinData -> Maybe UniswapDatum Source #
ToData UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods toBuiltinData :: UniswapDatum -> BuiltinData Source #
Lift DefaultUni UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods lift :: UniswapDatum -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni UniswapDatum Source #
Instance details Defined in Plutus.Contracts.Uniswap.Types Methods typeRep :: Proxy UniswapDatum -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #