Morley.Util.Constrained

Documentation

data Constrained c f where

Constructors

Constrained :: forall c f a. c a => f a -> Constrained c f

Instances

FromJSON Address

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Morley.Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

HasRPCRepr Address

Defined in Morley.AsRPC

Associated Types

type AsRPC Address

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

IsoValue Address

Defined in Morley.Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

HasCLReader Address

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM Address

getMetavar :: String

(forall (a :: k). c a => Lift (f a)) => Lift (Constrained c f :: Type)

Defined in Morley.Util.Constrained

Methods

lift :: Quote m => Constrained c f -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Constrained c f -> Code m (Constrained c f)

SingI kinds => FromJSON (ConstrainedAddress kinds)

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser (ConstrainedAddress kinds)

parseJSONList :: Value -> Parser [ConstrainedAddress kinds]

(forall (t :: T). cs t => ForbidOp t) => RenderDoc (SomeConstrainedValue cs)

Defined in Morley.Michelson.Typed.Existential

Methods

renderDoc :: RenderContext -> SomeConstrainedValue cs -> Doc

isRenderable :: SomeConstrainedValue cs -> Bool

SingI ks => HasCLReader (ConstrainedAddress ks)

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM (ConstrainedAddress ks)

getMetavar :: String

ToJSON (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSON :: Constrained c KindedAddress -> Value

toEncoding :: Constrained c KindedAddress -> Encoding

toJSONList :: [Constrained c KindedAddress] -> Value

toEncodingList :: [Constrained c KindedAddress] -> Encoding

ToJSONKey (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSONKey :: ToJSONKeyFunction (Constrained c KindedAddress)

toJSONKeyList :: ToJSONKeyFunction [Constrained c KindedAddress]

(forall (a :: k). c a => Show (f a)) => Show (Constrained c f)

Defined in Morley.Util.Constrained

Methods

showsPrec :: Int -> Constrained c f -> ShowS

show :: Constrained c f -> String

showList :: [Constrained c f] -> ShowS

(forall (a :: k). c a => NFData (f a)) => NFData (Constrained c f)

Defined in Morley.Util.Constrained

Methods

rnf :: Constrained c f -> ()

GEq f => Eq (Constrained c f)

Defined in Morley.Util.Constrained

Methods

(==) :: Constrained c f -> Constrained c f -> Bool

(/=) :: Constrained c f -> Constrained c f -> Bool

GCompare f => Ord (Constrained c f)

Defined in Morley.Util.Constrained

Methods

compare :: Constrained c f -> Constrained c f -> Ordering

(<) :: Constrained c f -> Constrained c f -> Bool

(<=) :: Constrained c f -> Constrained c f -> Bool

(>) :: Constrained c f -> Constrained c f -> Bool

(>=) :: Constrained c f -> Constrained c f -> Bool

max :: Constrained c f -> Constrained c f -> Constrained c f

min :: Constrained c f -> Constrained c f -> Constrained c f

(forall (a :: k). c a => Buildable (f a)) => Buildable (Constrained c f)

Defined in Morley.Util.Constrained

Methods

build :: Constrained c f -> Doc

buildList :: [Constrained c f] -> Doc

type AsRPC Address

Defined in Morley.AsRPC

type AsRPC Address = Address

type TypeDocFieldDescriptions Address

Defined in Morley.Michelson.Typed.Haskell.Doc

type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Address

Defined in Morley.Michelson.Typed.Haskell.Value

type ToT Address = 'TAddress

class NullConstraint any

Always truthful unary constraint. Can be used to essentially turn Constrained into a somewhat inefficient Some.

Instances

FromJSON Address

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Morley.Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

HasRPCRepr Address

Defined in Morley.AsRPC

Associated Types

type AsRPC Address

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

IsoValue Address

Defined in Morley.Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

HasCLReader Address

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM Address

getMetavar :: String

NullConstraint (any :: k)

Defined in Morley.Util.Constrained

type AsRPC Address

Defined in Morley.AsRPC

type AsRPC Address = Address

type TypeDocFieldDescriptions Address

Defined in Morley.Michelson.Typed.Haskell.Doc

type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Address

Defined in Morley.Michelson.Typed.Haskell.Value

type ToT Address = 'TAddress

mapConstrained :: (forall t. c t => f t -> g t) -> Constrained c f -> Constrained c g

Map over argument.

traverseConstrained :: Functor m => (forall a. c a => f a -> m (g a)) -> Constrained c f -> m (Constrained c g)

Traverse over argument.

withConstrained :: Constrained c f -> (forall t. c t => f t -> r) -> r

Apply function to constrained value

withConstrainedM :: Monad m => m (Constrained c f) -> (forall t. f t -> m r) -> m r

Monadic withConstrained

foldConstrained :: (forall t. c t => f t -> r) -> Constrained c f -> r

Flipped version of withConstrained

foldConstrainedM :: Monad m => (forall t. c t => f t -> m r) -> m (Constrained c f) -> m r

Flipped version of withConstrainedM