M&DE
main
DocsAPI
Generated with
made with ❤️ and coffee
made with ❤️ and coffee
M&DE/halotukozak.made/MadeElem

MadeElem

halotukozak.made.MadeElem
See theMadeElem companion trait
object MadeElem

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
MadeElem.type

Members list

Type members

Types

type ExtractLabel[M] = M match { case LabelOf[label] => label }
type ExtractMeta[M] = M match { case MetaOf[meta] => meta }
type ExtractOf[M] = M match { case Of[t] => t }
type LabelOf[l <: String] = MadeElem { type Label = l; }
type MetaOf[m <: Tuple] = MadeElem { type Metadata = m; }
type Of[T] = MadeElem { type Type = T; }

Givens

Givens

inline given given_containsOnly_Map_String: [Es <: Tuple] => containsOnly[Map[Es, ExtractLabel], String]

ExtractLabel &lt;: String, so any Tuple.Map[Es, ExtractLabel] is all Strings (e.g. generated-elem labels).

ExtractLabel &lt;: String, so any Tuple.Map[Es, ExtractLabel] is all Strings (e.g. generated-elem labels).

Attributes

Generated with
made with ❤️ and coffee
made with ❤️ and coffee