Lorentz.Polymorphic

Type families from Morley.Michelson.Typed.Polymorphic lifted to Haskell types.

Documentation

class (MemOp (ToT c), ToT (MemOpKeyHs c) ~ MemOpKey (ToT c)) => MemOpHs c

Lifted MemOpKey.

Associated Types

type MemOpKeyHs c :: Type

Instances

NiceComparable e => MemOpHs (Set e)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (Set e)

NiceComparable k => MemOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (Map k v)

NiceComparable k => MemOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type MemOpKeyHs (BigMap k v)

class (MapOp (ToT c), ToT (MapOpInpHs c) ~ MapOpInp (ToT c), ToT (MapOpResHs c ()) ~ MapOpRes (ToT c) (ToT ())) => MapOpHs c

Lifted MapOp.

Associated Types

type MapOpInpHs c :: Type

type MapOpResHs c :: Type -> Type

Instances

MapOpHs (Maybe e)

Defined in Lorentz.Polymorphic

Associated Types

type MapOpInpHs (Maybe e)

type MapOpResHs (Maybe e) :: Type -> Type

MapOpHs [e]

Defined in Lorentz.Polymorphic

Associated Types

type MapOpInpHs [e]

type MapOpResHs [e] :: Type -> Type

NiceComparable k => MapOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type MapOpInpHs (Map k v)

type MapOpResHs (Map k v) :: Type -> Type

class (IterOp (ToT c), ToT (IterOpElHs c) ~ IterOpEl (ToT c)) => IterOpHs c

Lifted IterOp.

Associated Types

type IterOpElHs c :: Type

Instances

NiceComparable e => IterOpHs (Set e)

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs (Set e)

IterOpHs [e]

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs [e]

NiceComparable k => IterOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type IterOpElHs (Map k v)

class SizeOp (ToT c) => SizeOpHs c

Lifted SizeOp.

This could be just a constraint alias, but to avoid T types appearance in error messages we make a full type class with concrete instances.

Instances

SizeOpHs ByteString

Defined in Lorentz.Polymorphic

SizeOpHs MText

Defined in Lorentz.Polymorphic

SizeOpHs (Set a)

Defined in Lorentz.Polymorphic

SizeOpHs [a]

Defined in Lorentz.Polymorphic

SizeOpHs (Map k v)

Defined in Lorentz.Polymorphic

class (UpdOp (ToT c), ToT (UpdOpKeyHs c) ~ UpdOpKey (ToT c), ToT (UpdOpParamsHs c) ~ UpdOpParams (ToT c)) => UpdOpHs c

Lifted UpdOp.

Associated Types

type UpdOpKeyHs c :: Type

type UpdOpParamsHs c :: Type

Instances

NiceComparable a => UpdOpHs (Set a)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (Set a)

type UpdOpParamsHs (Set a)

NiceComparable k => UpdOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (Map k v)

type UpdOpParamsHs (Map k v)

NiceComparable k => UpdOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type UpdOpKeyHs (BigMap k v)

type UpdOpParamsHs (BigMap k v)

class (GetOp (ToT c), ToT (GetOpKeyHs c) ~ GetOpKey (ToT c), ToT (GetOpValHs c) ~ GetOpVal (ToT c)) => GetOpHs c

Lifted GetOp.

Associated Types

type GetOpKeyHs c :: Type

type GetOpValHs c :: Type

Instances

NiceComparable k => GetOpHs (Map k v)

Defined in Lorentz.Polymorphic

Associated Types

type GetOpKeyHs (Map k v)

type GetOpValHs (Map k v)

NiceComparable k => GetOpHs (BigMap k v)

Defined in Lorentz.Polymorphic

Associated Types

type GetOpKeyHs (BigMap k v)

type GetOpValHs (BigMap k v)

class ConcatOp (ToT c) => ConcatOpHs c

Lifted ConcatOp.

Instances

ConcatOpHs ByteString

Defined in Lorentz.Polymorphic

ConcatOpHs MText

Defined in Lorentz.Polymorphic

class SliceOp (ToT c) => SliceOpHs c

Lifted SliceOp.

Instances

SliceOpHs ByteString

Defined in Lorentz.Polymorphic

SliceOpHs MText

Defined in Lorentz.Polymorphic

type family IsoMapOpRes c b where ...

A useful property which holds for reasonable MapOp instances.

It's a separate thing from MapOpHs because it mentions b type parameter.

Equations

IsoMapOpRes c b = ToT (MapOpResHs c b) ~ MapOpRes (ToT c) (ToT b)